BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer
Stock photo: cover may vary

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28) Paperback - 2006

by Padawitz, Peter

Add to wish list
  • New
  • Paperback
New

Description

Cambridge University Press, 2006-11-23. paperback. New. 6.69x0.65x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$105.69
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)

From the publisher

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.
tracking-