Springer
Verification, Model Checking, and Abstract Interpretation (English, Viktor Kuncak | Andrey Rybalchenko)
₹5,627
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783642279393 |
| ISBN-10 | 3642279392 |
Product Description
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
Frequently Asked Questions
What is the price of Verification, Model Checking, and Abstract Interpretation?
Verification, Model Checking, and Abstract Interpretation is available at ₹5,627 on BookShops.in.
Does BookShops.in offer free delivery for Verification, Model Checking, and Abstract Interpretation?
FREE delivery on all orders for Verification, Model Checking, and Abstract Interpretation.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Verification, Model Checking, and Abstract Interpretation?
BookShops.in offers a 15-day hassle-free return policy for Verification, Model Checking, and Abstract Interpretation. Contact us at support@bookshops.in or call +91 81899 68108.
Is Verification, Model Checking, and Abstract Interpretation authentic?
Verification, Model Checking, and Abstract Interpretation is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
