Skip to content

Deductive and Declarative Programming
Stock Photo: Cover May Be Different

Deductive and Declarative Programming Paperback - 2006

by Peter Padawitz


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.

Details

  • Title Deductive and Declarative Programming
  • Author Peter Padawitz
  • Binding Paperback
  • Pages 288
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date 2006-11-23
  • ISBN 9780521032513 / 0521032512
  • Weight 1.02 lbs (0.46 kg)
  • Dimensions 9.61 x 6.69 x 0.6 in (24.41 x 16.99 x 1.52 cm)
  • Dewey Decimal Code 005.131
Back to Top

More Copies for Sale

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Stock Photo: Cover May Be Different

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

by Padawitz, Peter

  • Used
  • Paperback
  • first
Condition
Like New
Edition
First Edition
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity Available
1
Seller
Cheltenham, Gloucestershire, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$43.34
CA$39.87 shipping to USA

Show Details

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.
Item Price
CA$43.34
CA$39.87 shipping to USA
Deductive and Declarative Programming
Stock Photo: Cover May Be Different

Deductive and Declarative Programming

by P. Padawitz

  • New
Condition
New
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity Available
515
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$75.25
CA$13.85 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Deductive and Declarative Programming.
Item Price
CA$75.25
CA$13.85 shipping to USA
Deductive and Declarative Programming
Stock Photo: Cover May Be Different

Deductive and Declarative Programming

by Peter Padawitz

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
CA$77.42
CA$17.34 shipping to USA

Show Details

Description:
Cambridge Univ Pr, 2006. Paperback. New. 285 pages. 9.61x6.46x0.71 inches.
Item Price
CA$77.42
CA$17.34 shipping to USA
Deductive and Declarative Programming

Deductive and Declarative Programming

by Peter Padawitz

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$83.78
CA$17.25 shipping to USA

Show Details

Description:
Paperback / softback. New. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Item Price
CA$83.78
CA$17.25 shipping to USA
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Stock Photo: Cover May Be Different

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

by Padawitz, Peter

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
CA$87.10
CA$20.74 shipping to USA

Show Details

Description:
Cambridge University Press. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
CA$87.10
CA$20.74 shipping to USA