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
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Pilze (English, J. Webster | K. Esser | B. D. Epp)
₹4,601
Levi-Strauss, Anthropology, and Aesthetics (English, Boris Wiseman)
₹4,414
The Dynastinae of the World (English, S. Endrödi)
₹38,485
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957Related Products
Design of Digital Systems and Devices (English, Marian Adamski | Alexander Barkalov | Marek Wegrzyn)
₹17,388
Emotions and Multilingualism (English, Aneta Pavlenko | Pavlenko Aneta)
₹3,409
An Informal Conceptual Introduction to Turbulence (English, Arkady Tsinober)
₹17,455
Lagerstättentechnik (English, Hans-Dieter Voigt)
₹4,601
Exportgeschäft Von A-Z (English, Rainer Völkel)
₹3,249