Cambridge University Press
Deductive and Declarative Programming (English, P. Padawitz | Peter Padawitz | C. J. Van Rijsbergen)
₹5,595
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 | 9780521032513 |
| ISBN-10 | 0521032512 |
Product Description
About the Book
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
ISBN: 9780521032513
Frequently Asked Questions
What is the price of Deductive and Declarative Programming?
Deductive and Declarative Programming is available at ₹5,595 on BookShops.in.
Does BookShops.in offer free delivery for Deductive and Declarative Programming?
FREE delivery on all orders for Deductive and Declarative Programming.
Is Cash on Delivery available for Deductive and Declarative Programming?
Yes, Cash on Delivery (COD) is available for Deductive and Declarative Programming on BookShops.in. Pay when your order arrives.
What is the return policy for Deductive and Declarative Programming?
BookShops.in offers a 15-day hassle-free return policy for Deductive and Declarative Programming. Contact us at support@bookshops.in or call +91 81899 68108.
Is Deductive and Declarative Programming authentic?
Deductive and Declarative Programming is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
