Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel)
by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel
Delivery options
₹6,392
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹6,392
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540433767
ISBN-10
3540433767
Author
Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel
About the Book
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure fro…
ISBN: 9783540433767
ISBN-13: 9783540433767
ISBN-10: 3540433767
Frequently Asked Questions
What is the price of Isabelle/Hol?
Isabelle/Hol starts from ₹6392 at GlowMirror. Available in Paperback.
Who is the author of Isabelle/Hol?
Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel is the author of Isabelle/Hol. Browse more books by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel on GlowMirror.
Is Isabelle/Hol available in Paperback and Hardcover?
Yes, Isabelle/Hol is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Isabelle/Hol?
Yes, GlowMirror offers free delivery for Isabelle/Hol across India. No minimum order value required.
Is Cash on Delivery available for Isabelle/Hol?
Yes, Cash on Delivery (COD) is available for Isabelle/Hol on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540433767
🛒 Customers Also Bought
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846
The Dynastinae of the World (English, S. Endrödi)
₹38,485
Rotodynamic Pump Design (English, R. K. Turton)
₹5,705
An Introduction to Polynomial and Semi-Algebraic Optimization (English, Jean Bernard Lasserre)
₹17,378
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Lebensmittelanalytik (English, H. G. Maier)
₹3,623Related Products
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
In Their Own Words (English, C. Christine Fair)
₹4,768
Handbook of Psychobiography (English, William Todd Schultz)
₹10,880
Emotions and Multilingualism (English, Aneta Pavlenko | Pavlenko Aneta)
₹3,409