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 — Dispatched in 1–2 business days. Most orders delivered in 3–12 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 GlowMirror. 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 GlowMirror.
Is Computer Aided Verification available in Paperback and Hardcover?
Yes, Computer Aided Verification is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Computer Aided Verification?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540564966
🛒 Customers Also Bought
Bericht Über Den Vierten Kongress Für Heilpädagogik in Leipzig, 11.-15. April 1928 (English, Kongreß Für Heilpädagogik | Erwin Lesch)
₹3,508
Palmprint Authentication (English, 16/F Maxdo Center)
₹5,397
Alkohol Und Gehirn (English, Karl Mann | H. Heimann)
₹5,330
Quantenphysik (English, Hans Jörg Leisi)
₹5,330
Betriebswirtschaftliche Praxisführung Für Ärzte (English, K. Ahlers | Helmut Börkircher | H. Cox)
₹4,237
Schätzen Und Testen (English, Oskar Anderson | Werner Popp | Manfred Schaffranek)
₹1,937Related Products
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Breviloquium (Works of St. Bonaventure) (English, Paperback, Bonaventure St., Monti Dominic)
₹2,700
Un Universo Comprensibile (English, George V. Coyne | Michael Heller)
₹3,009
Chirurgische Diagnostik (English, E. Stahl | U. Nagel | L. F. Hollender)
₹4,601
A Brief History of Mathematics (English, Tianxin Cai)
₹2,230