|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Time 2004 Edition (Lecture Notes in Computer Science,) | Lakhnech, Yassine | Paperback | 3540231676 / 9783540231677 | 09/2004 | $52.24 |
| | Tool Support for System Specification, Development and Verification Softcover Repri Edition (Advances in Computing Sciences) | Berghammer, Rudolf | Paperback | 3211832823 / 9783211832820 | 03/1999 | $52.24 |
| | From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Bensalem, Saddek | Paperback | 3642548474 / 9783642548475 | 03/2014 | $52.24 |
|
|
|