|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings 2010 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Touili, Tayssir | Paperback | 364214294X /
9783642142949 | 06/2010 | $104.49 |
|  | Formal Methods for Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science / Programming and Software) | Alpuente, Marķa | Paperback | 3642045693 /
9783642045691 | 10/2009 | $52.24 |
|  | Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Cook, Byron | Paperback | 3540697357 /
9783540697350 | 01/2007 | $52.24 |
|
|
|