|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Peled, Doron a. | Paperback | 3540292098 /
9783540292098 | 09/2005 | $52.24 |
|  | 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 |
|  | Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston, Texas, Usa, November 11-14, 2 (Lecture Notes in Computer Science) | Peled, Doron a. | Paperback | 3540001417 /
9783540001416 | 10/2002 | $52.24 |
|  | Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Pape 2009 Edition (Lecture Notes in Artificial Intelligence) | Peled, Doron a. | Paperback | 364200430X /
9783642004308 | 02/2009 | $52.24 |
|  | Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers 2009 Edition (Lecture Notes in Computer Science) | Bensalem, Saddek | Paperback | 3642046932 /
9783642046933 | 09/2009 | $52.24 |
|  | Software Reliability Methods 2001 Edition (Texts in Computer Science) | Peled, Doron a. | Hardcover | 0387951067 /
9780387951065 | 06/2001 | $52.24 |
|  | Software Reliability Methods 2001 Edition (Texts in Computer Science) | Peled, Doron a. | Paperback | 1441928766 /
9781441928764 | 10/2011 | $52.24 |
|  | Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding 2008 Edition (Lecture Notes in Computer Science) | Logozzo, Francesco | Paperback | 3540781625 /
9783540781622 | 02/2008 | $52.24 |
|
|
|