|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Etessami, Kousha | Paperback | 3540272313 /
9783540272311 | 06/2005 | $104.49 |
|  | Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, May 9-10, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Ball, Thomas | Paperback | 3540401172 /
9783540401179 | 04/2003 | $52.24 |
|  | Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings (Lecture Notes in Computer Science) | Leavens, Gary T. | Paperback | 364215056X /
9783642150562 | 08/2010 | $52.24 |
|
|
|