✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
Computer Aided Verification (English, Gregor Von Bochmann | David K. Probst) - Image 1 - BookBajar

Computer Aided Verification (English, Gregor Von Bochmann | David K. Probst)

by Gregor Von Bochmann | David K. Probst

Delivery options

₹5,657
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 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: ₹5,657

Book Details

Publisher
Springer
Language
English
ISBN-13
9783540564966
ISBN-10
3540564969
Author
Gregor Von Bochmann | David K. Probst

About the Book

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and prac…

ISBN: 9783540564966

ISBN-13: 9783540564966
ISBN-10: 3540564969

Frequently Asked Questions

What is the price of Computer Aided Verification?
Computer Aided Verification starts from ₹5657 at BookBajar. Available in Paperback.
Who is the author of Computer Aided Verification?
Gregor Von Bochmann | David K. Probst is the author of Computer Aided Verification. Browse more books by Gregor Von Bochmann | David K. Probst 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: 3540564969. ISBN-13: 9783540564966. Computer Aided Verification (English, Gregor Von Bochmann | David K. Probst) by Gregor Von Bochmann | David K. Probst. Available on BookBajar.
Product ID: isbn-9783540564966