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)

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
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

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.

Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book