-60% OFFSpringer
Computer Aided Verification (English, Rajeev Alur | Doron a. Peled)
₹4,559₹11,532Save 60%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540223429 |
| ISBN-10 | 3540223428 |
Product Description
About the Book
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004, held in Boston, Massachusetts, USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation…
ISBN: 9783540223429
Frequently Asked Questions
What is the price of Computer Aided Verification?
Computer Aided Verification is available at ₹4,559 on BookShops.in.
Does BookShops.in offer free delivery for Computer Aided Verification?
FREE delivery on all orders for Computer Aided Verification.
Is Cash on Delivery available for Computer Aided Verification?
Yes, Cash on Delivery (COD) is available for Computer Aided Verification on BookShops.in. Pay when your order arrives.
What is the return policy for Computer Aided Verification?
BookShops.in offers a 15-day hassle-free return policy for Computer Aided Verification. Contact us at support@bookshops.in or call +91 81899 68108.
Is Computer Aided Verification authentic?
Computer Aided Verification is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
