Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
Touili, Tayssir (Editor)
Sold by Revaluation Books, Exeter, United Kingdom
AbeBooks Seller since January 6, 2003
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Add to basket