Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel)
by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel
Delivery options
Isabelle/Hol by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel is listed under Law on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Isabelle/Hol
- ·Ideas and detail relevant to Law
- ·Context that helps make sense of the material as a whole
Best Suited For
Law students, practicing advocates, and anyone studying legal frameworks.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Isabelle/Hol?
Isabelle/Hol starts from ₹5336 at BookBajar. 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 BookBajar.
Is Isabelle/Hol available in Paperback and Hardcover?
Yes, Isabelle/Hol is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Isabelle/Hol?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Isabelle/Hol?
Isabelle/Hol can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Isabelle/Hol?
Isabelle/Hol has ISBN 9783540433767 (ISBN-10: 3540433767). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Isabelle/Hol?
About the Book This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.
Product ID: isbn-9783540433767
🛒 Customers Also Bought
Tom Bingham and the Transformation of the Law (English, Mads Andenas | Duncan Fairgrieve)
₹5,265
Regulating Law (English, John Braithwaite | Christine Parker | Nicola Lacey)
₹4,128
Company Law (English, Desmond Painter)
₹5,565
Das Kollisionsrecht der indirekt gehaltenen Wertpapiere = Conflict of Laws Governing Securities Held (English, Reinhard Ege)
₹4,919
Civil Procedure and Eu Law (English, Eva Storskrubb)
₹5,021Related Products
Legal Philosophy in the Twentieth Century (English, Gerald J. Postema)
₹4,108
Die Constitution Der Materie (English, Heinrich Hertz | Albrecht Fölsing)
₹4,601
Worldwide Laws of Life (English, John Marks Templeton)
₹1,921
Speech Science Primer (English, Lawrence J. Raphael | Gloria J. Borden | Katherine S. Harris)
₹4,043
Scientific Inquiry and Nature of Science (English, Lawrence Flick | N. G. Lederman)
₹4,148