Interactive Theorem Proving (English, Lennart Beringer | Amy Felty)
by Lennart Beringer | Amy Felty
Delivery options
₹5,590
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,590
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642323461
ISBN-10
3642323464
Author
Lennart Beringer | Amy Felty
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
ISBN-13: 9783642323461
ISBN-10: 3642323464
Frequently Asked Questions
What is the price of Interactive Theorem Proving?
Interactive Theorem Proving starts from ₹5590 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Interactive Theorem Proving?
Lennart Beringer | Amy Felty is the author of Interactive Theorem Proving. Browse more books by Lennart Beringer | Amy Felty 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-9783642323461
🛒 Customers Also Bought
Kurzer Leitfaden Der Elektrotechnik (English, H. Vieweger | Rudolf Krause)
₹4,173
Dieselmaschinen Für Land- Und Schiffsbetrieb (English, A. P. Chalkey)
₹3,712
Wissenschaftliche Veröffentlichungen Aus Den Siemens-Werken (English, Fritz Bath | Rudolf Bingel | Elisabeth Brandenburger)
₹4,057
Verbraucherschutz Bei Der Begründung, Beendigung Und Übernahme Von Immobiliarkreditverhältnissen (English, Kai-Oliver Knops)
₹4,507
Mechanische Technologie Für Maschinentechniker (English, Willy Pockrandt)
₹4,083
Speicherprogrammierbare Steuerungen (English, R. Bliesener | Festo Didactic Kg | F. Ebel)
₹4,186Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883