Interactive Theorem Proving (English, Marko Van Eekelen | Herman Geuvers | Julien Schmaltz)
by Marko Van Eekelen | Herman Geuvers | Julien Schmaltz
Delivery options
₹5,593
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,593
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642228629
ISBN-10
3642228623
Author
Marko Van Eekelen | Herman Geuvers | Julien Schmaltz
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
ISBN-13: 9783642228629
ISBN-10: 3642228623
Frequently Asked Questions
What is the price of Interactive Theorem Proving?
Interactive Theorem Proving starts from ₹5593 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Interactive Theorem Proving?
Marko Van Eekelen | Herman Geuvers | Julien Schmaltz is the author of Interactive Theorem Proving. Browse more books by Marko Van Eekelen | Herman Geuvers | Julien Schmaltz on BookBajar.
Is Interactive Theorem Proving available in Paperback and Hardcover?
Yes, Interactive Theorem Proving is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Interactive Theorem Proving?
Yes, BookBajar offers free delivery for Interactive Theorem Proving across India. No minimum order value required.
Is Cash on Delivery available for Interactive Theorem Proving?
Yes, Cash on Delivery (COD) is available for Interactive Theorem Proving on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642228629
🛒 Customers Also Bought
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Hochbaukonstruktionen (English, Gerhard Leder)
₹4,509
Math Circles for Elementary School Students: Berkeley 2009 and Manhattan 2011 (MSRI Mathematical Circles Library, 13) (English, Paperback, Natasha ...
₹5,583
Fatou, Julia, Montel (English, Michèle Audin)
₹5,909
Berechnung Magnetischer Felder (English, Franz Ollendorff)
₹6,326
Asic-Design (English, Bernhard Hoppe)
₹5,524Related Products
The Newton-Cauchy Framework (English, John L. Nazareth)
₹5,433
Parallel Execution of Parlog (English, Andrew Cheese)
₹5,471
Software Engineering Education (English, James E. Tomayko)
₹5,528
Software Engineering Education (English, Jorge L. Diaz-Herrera)
₹11,549
2. Workshop Sichtsysteme -- (English, Reinhard Möller)
₹3,508