|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Gupta, Aarti | Paperback | 3540705430 /
9783540705437 | 06/2008 | $132.05 |
|  | Sat-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) | Ganai, Malay | Paperback | 1441943412 /
9781441943415 | 11/2010 | $113.99 |
|  | Sat-Based Scalable Formal Verification Solutions 2007 Edition (Series on Integrated Circuits and Systems) | Ganai, Malay | Hardcover | 0387691669 /
9780387691664 | 05/2007 | $161.49 |
|  | Transparency in Global Environmental Governance: Critical Perspectives (Earth System Governance) | Gupta, Aarti | Paperback | 0262526182 /
9780262526180 | 07/2014 | $34.65 |
|
|
|