|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings 1990 Edition (Lecture Notes in Computer Science) | Sifakis, Joseph | Paperback | 3540521488 / 9783540521488 | 01/1990 | $52.24 |
| | Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 7-9, 2002. Proceedings 2002 Edition (Lecture Notes in Computer Science) | Sangiovanni-Vincentelli, Alberto | Paperback | 354044307X / 9783540443070 | 09/2002 | $52.24 |
| | Embedded Systems Design: The Artist Roadmap for Research and Development 2005 Edition (Lecture Notes in Computer Science) | Bouyssounouse, Bruno | Paperback | 3540251073 / 9783540251071 | 03/2005 | $104.49 |
| | Rigorous System Design (Foundations and Trends(r) in Electronic Design Automation) | Sifakis, Joseph | Paperback | 1601986602 / 9781601986603 | 03/2013 | $57.00 |
|
|
|