Law
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
Genuine BookPhysical copy only
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
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
Book Specifications
| ISBN-13 | 9783540582441 |
| ISBN-10 | 3540582444 |
| Publisher | Springer |
| Category | Law |
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 [email protected] 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.
Customers Also Bought
Constitutional Law
Indigenous law and the state
₹5,432
Constitutional Law
Great Cases in Constitutional Law (English, Robert P. George)
₹3,702
Constitutional Law
Guilty Pleas in International Criminal Law (English, Nancy Amoury Combs)
₹2,022
Constitutional Law
The Growth of the Law by Benjamin N. Cardozo – Jurisprudence
₹2,455
Constitutional Law
Court of Injustice: Law Without Recognition in U.S. Immigration by J. C. Salyer
₹1,845
Constitutional Law
Youth: Learning Through Cases
₹4,793
Related Products
View All
Law
Mediasport | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Rout
₹5,256
Law
Human Rights Diplomacy | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routled
₹4,908
Law
Rome the Law-Giver | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil
₹4,661
Law
Human Rights and Gender Politics | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera Mac
₹5,437
Law
Politics of Human Rights in Southeast Asia | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge |
₹5,318
Law
Rerouting the Postcolonial | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh |
₹4,260