![9783540654933-3540654933-Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)](https://booksrun.com/image-loader/215/https:__m.media-amazon.com_images_I_412iFgJp81L._SL500_.jpg)
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)
ISBN-13:
9783540654933
ISBN-10:
3540654933
Edition:
1998
Author:
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
Publication date:
1998
Publisher:
Springer
Format:
Paperback
655 pages
Category:
Business Technology
,
Microsoft Programming
,
Programming
,
Quantum Theory
,
Physics
FREE US shipping
Book details
ISBN-13:
9783540654933
ISBN-10:
3540654933
Edition:
1998
Author:
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
Publication date:
1998
Publisher:
Springer
Format:
Paperback
655 pages
Category:
Business Technology
,
Microsoft Programming
,
Programming
,
Quantum Theory
,
Physics
Summary
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536) (ISBN-13: 9783540654933 and ISBN-10: 3540654933), written by authors
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, was published by Springer in 1998.
With an overall rating of 3.5 stars, it's a notable title among other
Business Technology
(Microsoft Programming, Programming, Quantum Theory, Physics) books. You can easily purchase or rent Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536) (Paperback) from BooksRun,
along with many other new and used
Business Technology
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $0.3.
Description
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.
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}