Springer
Interactive Theorem Proving (English, Lennart Beringer | Amy Felty)
₹5,590
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 | 9783642323461 |
| ISBN-10 | 3642323464 |
Product Description
About the Book
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012.
ISBN: 9783642323461
Frequently Asked Questions
What is the price of Interactive Theorem Proving?
Interactive Theorem Proving is available at ₹5,590 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.
