|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 3540223428 /
9783540223429 | 06/2004 | $104.49 |
|  | Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 1996. Proceedings 1996 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 3540614745 /
9783540614746 | 07/1996 | $52.24 |
|  | Embedded Software: Third International Conference, Emsoft 2003, Philadelphia, Pa, Usa, October 13-15, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 3540202234 /
9783540202233 | 09/2003 | $52.24 |
|  | Hybrid Systems III: Verification and Control 1996 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 354061155X /
9783540611554 | 04/1996 | $104.49 |
|  | Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 3540212590 /
9783540212591 | 03/2004 | $104.49 |
|
|
|