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 - 2008

by Padawitz, Peter

Add to wish list
  • Used
  • Paperback
  • first
New

Description

Cambridge University Press, 2008. First Edition. Paperback. Like New. 6x0x9. A nearly new copy with no defects, just a few hardly noticeable rubs and bumps and a 'damaged' stamp to one of the preliminary pages. Despite such this book looks and feels unread with contents that are crisp, fresh and tight. Thus a very nice book in great condition, now offered for sale at a reasonable price.
Ask the seller a question Add to wish list
A$47.74
A$43.92 Delivery to USA
Standard delivery: 10 to 15 days
More delivery options
Ships from Prior Books (Gloucestershire, United Kingdom)

Details

About Prior Books Gloucestershire, United Kingdom

Biblio member since 2007


In addition to thousands of general books and hard-to-find academic titles covering a wide range of topics, we also sell fine, rare, interesting and antiquarian books of all kinds.

Many of our regular customers and clients are based overseas and we have an exceptional record when it comes to promptly shipping books abroad.

Moreover, we're always keen to buy individual books of importance, especially first editions and collections of scholarly works.

We take pride in being straightforward and generous buyers and we have the resources to deal with very large libraries.

We also carry out valuations for purposes of sale, insurance or probate.

Terms of Sale:

All our books are very carefully described. However, if (within two weeks of receipt) any book is found to be not as described it can be returned for a full refund. Please inform us before posting about any intention to return a book.

Browse books from Prior Books

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-