|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2000 Proceedings 2000 Edition (Lecture Notes in Computer Science) | Emerson, E. Allen | Paperback | 3540677704 / 9783540677703 | 06/2000 | $104.49 |
| | Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi 2006 Edition (Lecture Notes in Computer Science) | Emerson, E. Allen | Paperback | 3540311394 / 9783540311393 | 12/2005 | $52.24 |
|
|
|