|
|
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 |
|
|
|