Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998 ed.)

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1536
Release date:	2001
First published:	1998
Editors:	Willem-Paul De Roever • Hans Langmaack • Amir Pnueli
Dimensions:	235 x 155 x 33mm (L x W x T)
Format:	Paperback
Pages:	647
Edition:	1998 ed.
ISBN-13:	978-3-540-65493-3
Categories:	Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing
LSN:	3-540-65493-3
Barcode:	9783540654933

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!