|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science) | Halbwachs, Nicolas | Paperback | 3540662022 / 9783540662020 | 06/1999 | $52.24 |
| | Synchronous Programming of Reactive Systems (Springer International Series in Engineering and Computer Sc) | Halbwachs, Nicolas | Paperback | 1441951334 / 9781441951335 | 12/2010 | $52.24 |
| | Synchronous Programming of Reactive Systems 1993 Edition (Kluwer International Series in Engineering & Computer Science) | Halbwachs, Nicolas | Hardcover | 0792393112 / 9780792393115 | 12/1992 | $52.24 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, Tacas 2005, Held as Part of the Joint European Confe 2005 Edition (Lecture Notes in Computer Science) | Halbwachs, Nicolas | Paperback | 3540253335 / 9783540253334 | 03/2005 | $104.49 |
|
|
|