Location:

Home » Computer Aided Verification: 21st International Conference CAV 2009 Grenoble France June 26 - July 2 2009 Proceedings

Shoplex Store: Computer Aided Verification: 21st International Conference CAV 2009 Grenoble France June 26 - July 2 2009 Proceedings

enlarge
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
- Author:
- Ahmed Bouajjani
- Buy New: $81.13
- as of 2/13/2012 12:52 PST details
In Stock

New (14) Used (8) from $81.13

CERTAIN CONTENT THAT APPEARS ON THIS SITE COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED ‘AS IS’ AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME.