Law
Interactive Theorem Proving (English, Matt Kaufmann | Lawrence C. Paulson)
₹4,675
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
This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verificati…
ISBN: 9783642140518
Book Specifications
| ISBN-13 | 9783642140518 |
| ISBN-10 | 3642140513 |
| Publisher | Springer |
| Category | Law |
Frequently Asked Questions
What is the price of Interactive Theorem Proving?
Interactive Theorem Proving is available at ₹4,675 on BookShops.in.
Does BookShops.in offer free delivery for Interactive Theorem Proving?
FREE delivery on all orders for Interactive Theorem Proving.
Is Cash on Delivery available for Interactive Theorem Proving?
Yes, Cash on Delivery (COD) is available for Interactive Theorem Proving on BookShops.in. Pay when your order arrives.
What is the return policy for Interactive Theorem Proving?
BookShops.in offers a 15-day hassle-free return policy for Interactive Theorem Proving. Contact us at [email protected] or call +91 81899 68108.
Is Interactive Theorem Proving authentic?
Interactive Theorem Proving 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