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

Skip to content

Deductive and Declarative Programming
Stock photo: cover may vary

Deductive and Declarative Programming Paperback - 2006

by Peter Padawitz

Add to wish list

Reader reviews for Deductive and Declarative Programming

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
  • Publication 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)
  • Category Computers - General Information
  • Dewey Decimal Code 005.131

More Copies for Sale

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

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

by Padawitz, Peter

  • Used
  • Paperback
  • first
Condition
New
Edition
First Edition
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity available
1
Seller
Item price
A$47.70
A$43.89 Delivery 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.
Add to wish list
Item price
A$47.70
A$43.89 Delivery to USA
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Stock photo: cover may vary

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

by Padawitz, Peter

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity available
1
Seller
Item price
A$74.52
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$74.52
Free Delivery to USA
Deductive and Declarative Programming

Deductive and Declarative Programming

by P. Padawitz

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity available
565
Seller
Item price
A$103.00
A$15.25 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Add to wish list
Item price
A$103.00
A$15.25 Delivery 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
Item price
A$103.41
A$18.99 Delivery 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.
Add to wish list
Item price
A$103.41
A$18.99 Delivery to USA
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Stock photo: cover may vary

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
1
Seller
Item price
A$105.69
Free Delivery to USA

Show details

Description:
Cambridge University Press, 2006-11-23. paperback. New. 6.69x0.65x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$105.69
Free Delivery to USA
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Stock photo: cover may vary

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

by Padawitz, Peter

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity available
1
Seller
Item price
A$129.23
Free Delivery to USA

Show details

Description:
Cambridge University Press, 2006-11-23. paperback. Used: Good. 6.69x0.65x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$129.23
Free Delivery to USA
Deductive and Declarative Programming
Stock photo: cover may vary

Deductive and Declarative Programming

by P. Padawitz Peter Padawitz

  • New
Condition
New
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Quantity available
4
Seller
Item price
A$142.98
A$5.66 Delivery to USA

Show details

Description:
Cambridge University Press CUP , pp. 288 . Papeback. New.
Add to wish list
Item price
A$142.98
A$5.66 Delivery to USA