Verification, Model Checking, and Abstract Interpretation (English, Viktor Kuncak | Andrey Rybalchenko)
by Viktor Kuncak | Andrey Rybalchenko
Delivery options
₹5,627
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: ₹5,627
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642279393
ISBN-10
3642279392
Author
Viktor Kuncak | Andrey Rybalchenko
About the Book
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Pr
ISBN: 9783642279393
ISBN-13: 9783642279393
ISBN-10: 3642279392
Frequently Asked Questions
What is the price of Verification, Model Checking, and Abstract Interpretation?
Verification, Model Checking, and Abstract Interpretation starts from ₹5627 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Verification, Model Checking, and Abstract Interpretation?
Viktor Kuncak | Andrey Rybalchenko is the author of Verification, Model Checking, and Abstract Interpretation. Browse more books by Viktor Kuncak | Andrey Rybalchenko on BookBajar.
Is Verification, Model Checking, and Abstract Interpretation available in Paperback and Hardcover?
Yes, Verification, Model Checking, and Abstract Interpretation is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Verification, Model Checking, and Abstract Interpretation?
Yes, BookBajar offers free delivery for Verification, Model Checking, and Abstract Interpretation across India. No minimum order value required.
Is Cash on Delivery available for Verification, Model Checking, and Abstract Interpretation?
Yes, Cash on Delivery (COD) is available for Verification, Model Checking, and Abstract Interpretation on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642279393
🛒 Customers Also Bought
English for Specific Purposes in Higher Education through Content and Language Integrated Learning (English, Hardcover, Elena Kováčiková)
₹2,700
NoNonsense Rethinking Education: Whose knowledge is it anyway? (English, Paperback, John Yandell, Adam Unwin)
₹2,700
The Printing Ink Manual (English, Robert Leach | Ray Pierce)
₹850
Statik Der Vierendeelträger (English, Karl Kriso)
₹5,966
Diagnosesystem Für Steuerungsperiphere Fehler an Fertigungseinrichtungen (English, Werner Grimm)
₹4,118
Start Sketching and Drawing Now: Simple Techniques for Drawing Landscapes, People and Objects (English, Paperback, Grant Fuller)
₹5,779Related Products
Distributed Computing and Networking (English, Marcos K. Aguilera | Haifeng Yu | Nitin H. Vaidya)
₹5,602
Wopplot 86 Parallel Processing (English, Jörg D. Becker | Ignaz Eisele)
₹5,490
Handbook of Disability Law and Human Rights (English, Paperback)
₹2,700
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Advances in Cryptology (English, Hugh C. Williams)
₹5,656