Normal view MARC view ISBD view

Process algebra : equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers

Main Author Baeten, J. C. M. Coauthor Basten, Thomas Geertruida Henricus, 1973-
Reniers, M. A., 1970- Country Reino Unido. Publication Cambridge : Cambridge University Press, 2010 Description XVI, 460 p. : il. ; 24 cm Series Cambridge tracts in theoretical computer science , 50 ISBN 978-0-521-82049-3 CDU 519.6 510.6

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 2 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109256	Available		404272
Monografia	Biblioteca Geral da Universidade do Minho	BGUM 519.6 - B	Available		412303