Computer Aided Verification (English, Ed Brinksma | Kim G. Larsen)
by Ed Brinksma | Kim G. Larsen
Delivery options
₹11,569
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,569
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540439974
ISBN-10
3540439978
Author
Ed Brinksma | Kim G. Larsen
About the Book
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th 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 ver…
ISBN: 9783540439974
ISBN-13: 9783540439974
ISBN-10: 3540439978
Frequently Asked Questions
What is the price of Computer Aided Verification?
Computer Aided Verification starts from ₹11569 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Computer Aided Verification?
Ed Brinksma | Kim G. Larsen is the author of Computer Aided Verification. Browse more books by Ed Brinksma | Kim G. Larsen 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.
Product ID: isbn-9783540439974
🛒 Customers Also Bought
Die Neue Arbeitsgerichtsbarkeit (English, Walter Kaskel)
₹5,917
Das Völkerrechtliche Verhältnis Zwischen Der EU Und Russland Im Energiesektor (English, Sebastian Pritzkow)
₹7,974
Automotive Model Predictive Control (English, Luigi del Re | Frank Allgöwer | Luigi Glielmo)
₹4,821
Information Warfare and Organizational Decision-Making (Artech House Information Warfare Library) (English, Paperback, Alexander Kott)
₹5,427
Lehrbuch Der Bergwerksmaschinen (Kraft- Und Arbeitsmaschinen) (English, H. Hoffmann)
₹4,061
More Than a Likeness: The Enduring Art of Mary Whyte (English, Hardcover, Martha R. Severens, Mary Whyte)
₹4,768Related Products
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
Analysis III (English, Godement)
₹2,495
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211