Computer Aided Verification (English, Alan J. Hu | Moshe y. Vardi)
by Alan J. Hu | Moshe y. Vardi
Delivery options
₹11,522
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,522
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540646082
ISBN-10
3540646086
Author
Alan J. Hu | Moshe y. Vardi
About the Book
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration…
ISBN: 9783540646082
ISBN-13: 9783540646082
ISBN-10: 3540646086
Frequently Asked Questions
What is the price of Computer Aided Verification?
Computer Aided Verification starts from ₹11522 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Computer Aided Verification?
Alan J. Hu | Moshe y. Vardi is the author of Computer Aided Verification. Browse more books by Alan J. Hu | Moshe y. Vardi 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-9783540646082
🛒 Customers Also Bought
Praktisches Handbuch Der Gesamten Schweißtechnik (English, Paul Schimpke | Hans A. Horn)
₹6,465
Die Psychologie Des Verbrechens (English, Max Kauffmann)
₹4,688
Technisch-Wissenschaftliche Abhandlungen Der Osram-Gesellschaft (English, Arved Lompe)
₹9,115
Selektivschutz (English, H. Neugebauer)
₹4,174
Physikalisches Praktikum Für Naturwissenschaftler Und Ingenieure (English, Jürgen Becker | Hansjörg Jodl)
₹3,198
Das Gesenkformen I (English, R. Eschelbach)
₹4,220Related Products
Managing Nano-Bio-Info-Cogno Innovations (English, William Sims Bainbridge)
₹5,465
Chemoarchitecture of the Brain (English, R. Nieuwenhuys)
₹5,648
Mechanics of Deformable Solids (English, Keith D. Hjelmstad)
₹5,423
Directory of Microbicides for the Protection of Materials (English, Wilfried Paulus)
₹5,458
Density Estimation for Statistics and Data Analysis (English, Silverman Bernard. W. | Silverman | Silverman Silverman)
₹4,872