✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
Computer Aided Verification (English, Rajeev Alur | Doron a. Peled) - Image 1 - BookBajar

Computer Aided Verification (English, Rajeev Alur | Doron a. Peled)

by Rajeev Alur | Doron a. Peled

Delivery options

₹11,532
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Ships same day. Delivery in 3-4 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

Total: ₹11,532

Book Details

Publisher
Springer
Language
English
ISBN-13
9783540223429
ISBN-10
3540223428
Author
Rajeev Alur | Doron a. Peled

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

ISBN-13: 9783540223429
ISBN-10: 3540223428

Frequently Asked Questions

What is the price of Computer Aided Verification?
Computer Aided Verification starts from ₹11532 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Computer Aided Verification?
Rajeev Alur | Doron a. Peled is the author of Computer Aided Verification. Browse more books by Rajeev Alur | Doron a. Peled on BookBajar.
Is Computer Aided Verification available in Paperback and Hardcover?
Yes, Computer Aided Verification is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Computer Aided Verification?
Yes, BookBajar offers free delivery for Computer Aided Verification across India. No minimum order value required.
Is Cash on Delivery available for Computer Aided Verification?
Yes, Cash on Delivery (COD) is available for Computer Aided Verification on BookBajar. You can pay when your order is delivered.
ISBN-10: 3540223428. ISBN-13: 9783540223429. Buy Computer Aided Verification (English, Rajeev Alur | Doron a. Peled) online. Computer Aided Verification (English, Rajeev Alur | Doron a. Peled) price in India. Rajeev Alur | Doron a. Peled books. Computer Aided Verification (English, Rajeev Alur | Doron a. Peled) best price. Computer Aided Verification (English, Rajeev Alur | Doron a. Peled) free delivery India. Computer Aided Verification (English, Rajeev Alur | Doron a. Peled) BookBajar.
Product ID: isbn-9783540223429