|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures 1998 Edition (Lecture Notes in Computer Science) | Roever, Willem-Paul de | Paperback | 3540654933 /
9783540654933 | 12/1998 | $104.49 |
|  | Current Trends in Concurrency: Overviews and Tutorials 1986 Edition (Lecture Notes in Computer Science) | Bakker, Jacobus W. De | Paperback | 354016488X /
9783540164883 | 06/1986 | $104.49 |
|  | Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys 1994 Edition (Lecture Notes in Computer Science) | Langmaack, Hans | Paperback | 3540584684 /
9783540584681 | 09/1994 | $104.49 |
|  | Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3 1989 Edition (Lecture Notes in Computer Science) | Bakker, Jacobus W. De | Paperback | 354051080X /
9783540510802 | 03/1989 | $104.49 |
|  | Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings 1990 Edition (Lecture Notes in Computer Science) | Bakker, Jaco W. De | Paperback | 3540525599 /
9783540525592 | 04/1990 | $104.49 |
|
|
|