|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings 2007 Edition (Lecture Notes in Computer Science) | Namjoshi, Kedar | Paperback | 3540755950 /
9783540755951 | 10/2007 | $52.24 |
|  | Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, Hcv 2009, Haifa, Israel, October 19-22, 2009, Revise 2011 Edition (Lecture Notes in Computer Science / Programming and Software) | Namjoshi, Kedar | Paperback | 364219236X /
9783642192364 | 02/2011 | $52.24 |
|
|
|