|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part I 2015 Edition (Lecture Notes in Computer Science) | Kroening, Daniel | Paperback | 3319216899 /
9783319216898 | 07/2015 | $52.24 |
|  | Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part II 2015 Edition (Lecture Notes in Computer Science) | Kroening, Daniel | Paperback | 3319216678 /
9783319216676 | 07/2015 | $52.24 |
|  | Decision Procedures: An Algorithmic Point of View Softcover Repri Edition (Texts in Theoretical Computer Science. an Eatcs) | Kroening, Daniel | Paperback | 3662570653 /
9783662570654 | 07/2018 | $52.24 |
|  | Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs) | Kroening, Daniel | Hardcover | 3662504960 /
9783662504963 | 01/2017 | $80.74 |
|  | Decision Procedures: An Algorithmic Point of View 2008 Edition (Texts in Theoretical Computer Science. an Eatcs) | Kroening, Daniel | Hardcover | 3540741046 /
9783540741046 | 05/2008 | $66.49 |
|  | Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised 2011 Edition (Lecture Notes in Computer Science / Programming and Software) | Barner, Sharon | Paperback | 3642195822 /
9783642195822 | 03/2011 | $52.24 |
|  | Validation of Evolving Software Softcover Repri Edition | Chockler, Hana | Paperback | 3319382004 /
9783319382005 | 10/2016 | $52.24 |
|  | Validation of Evolving Software 2015 Edition | Chockler, Hana | Hardcover | 3319106228 /
9783319106229 | 07/2015 | $52.24 |
|  | Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Giannakopoulou, Dimitra | Paperback | 3319121537 /
9783319121536 | 10/2014 | $52.24 |
|
|
|