|
|
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 |
| | Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Wiedijk, Freek | Paperback | 3540009132 / 9783540009139 | 03/2003 | $104.49 |
| | Perspectives of Systems Informatics (Lecture Notes in Computer Science) | Pnueli, Amir | Paperback | 3642114857 / 9783642114854 | 02/2010 | $52.24 |
| | Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings 1989 Edition (Lecture Notes in Computer Science) | Banieqbal, Behnam | Paperback | 3540518037 / 9783540518037 | 10/1989 | $52.24 |
| | Temporal Verification of Reactive Systems: Safety 1995 Edition | Manna, Zohar | Paperback | 1461287014 / 9781461287018 | 08/2012 | $113.99 |
| | Temporal Verification of Reactive Systems: Safety 1995 Edition | Manna, Zohar | Hardcover | 0387944591 / 9780387944593 | 08/1995 | $104.49 |
| | The Temporal Logic of Reactive and Concurrent Systems: Specification Softcover Repri Edition | Manna, Zohar | Paperback | 1461269504 / 9781461269502 | 10/2012 | $52.24 |
| | The Temporal Logic of Reactive and Concurrent Systems: Specification 1992 Edition | Manna, Zohar | Hardcover | 0387976647 / 9780387976648 | 12/1991 | $113.99 |
| | Verification of Sequential and Concurrent Programs 2009, Corr. 3rd Edition (Texts in Computer Science) | Apt, Krzysztof R. | Hardcover | 184882744X / 9781848827448 | 10/2009 | $104.49 |
| | Verification of Sequential and Concurrent Programs (Texts in Computer Science) | Apt, Krzysztof R. | Paperback | 1447125134 / 9781447125136 | 03/2012 | $85.49 |
|
|
|