Home > > > Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 - Proceedings

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 - Proceedings

0 stars by 0 votes
Google Book Preview of Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 - Proceedings
Write a Review

Best Price: Rs. 6,515 - Rs. 6,515 Compare prices from 1 sellers »

Book Details

Format
Binding Paperback
Overview
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Store Locator
Books Local Stores

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 - Proceedings Price in India

RediffBooks

Return Policy
Cash on Delivery ; EMI

6,515.00 Rs. 6,515 + FREE Shipping

Local stores for Books

or Find Shops Near Me
Shop NameAddressDistancePhone NumberMap & Direction
Does your store sale this book?
ADD YOUR STORE

Google Preview

Price Alert