|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Liu, Zhiming | Paperback | 3642047602 /
9783642047602 | 09/2009 | $52.24 |
|  | Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, Lyngby, Denmark, September 14-18, 1998, Proceedings 1998 Edition (Formal Techniques in Real-Time & Fault-Tolerant Systems) | Ravn, Anders P. | Paperback | 3540650032 /
9783540650034 | 09/1998 | $52.24 |
|  | Hybrid Systems 1993 Edition (Advanced Lectures in Mathematics) | Grossman, Robert L. | Paperback | 3540573186 /
9783540573180 | 10/1993 | $52.24 |
|
|
|