Springer
Isabelle (English, Lawrence C. Paulson | T. Nipkow)
₹5,612
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540582441 |
| ISBN-10 | 3540582444 |
Product Description
About the Book
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practic…
ISBN: 9783540582441
Frequently Asked Questions
What is the price of Isabelle?
Isabelle is available at ₹5,612 on BookShops.in.
Does BookShops.in offer free delivery for Isabelle?
FREE delivery on all orders for Isabelle.
Is Cash on Delivery available for Isabelle?
Yes, Cash on Delivery (COD) is available for Isabelle on BookShops.in. Pay when your order arrives.
What is the return policy for Isabelle?
BookShops.in offers a 15-day hassle-free return policy for Isabelle. Contact us at support@bookshops.in or call +91 81899 68108.
Is Isabelle authentic?
Isabelle is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
