Overview

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.

Full Product Details

Author:   Willem-Paul de Roever ,  Hans Langmaack ,  Amir Pnueli
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1998 ed.
Volume:   1536
Dimensions:   Width: 15.50cm , Height: 3.30cm , Length: 23.50cm
Weight:   2.020kg
ISBN:  

9783540654933

ISBN 10:   3540654933
Pages:   647
Publication Date:   18 December 1998
Audience:   College/higher education ,  General/trade ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions