Springer
Interactive Theorem Proving (English, Marko Van Eekelen | Herman Geuvers | Julien Schmaltz)
₹5,593
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 | 9783642228629 |
| ISBN-10 | 3642228623 |
Product Description
About the Book
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to a…
ISBN: 9783642228629
Frequently Asked Questions
What is the price of Interactive Theorem Proving?
Interactive Theorem Proving is available at ₹5,593 on BookShops.in.
Does BookShops.in offer free delivery for Interactive Theorem Proving?
FREE delivery on all orders for Interactive Theorem Proving.
Is Cash on Delivery available for Interactive Theorem Proving?
Yes, Cash on Delivery (COD) is available for Interactive Theorem Proving on BookShops.in. Pay when your order arrives.
What is the return policy for Interactive Theorem Proving?
BookShops.in offers a 15-day hassle-free return policy for Interactive Theorem Proving. Contact us at support@bookshops.in or call +91 81899 68108.
Is Interactive Theorem Proving authentic?
Interactive Theorem Proving is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
