We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Deductive and Declarative Programming

Deductive and Declarative Programming

By Peter Padawitz

part of the Cambridge Tracts in Theoretical Computer Science series

Deductive and Declarative Programming by Peter Padawitz
About Deductive and Declarative Programming

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521032513
  • Binding:
  • Paperback
  • Pages:
  • 288
  • Published:
  • November 23, 2006
  • Dimensions:
  • 152x228x17 mm.
  • Weight:
  • 469 g.
Delivery: 1-2 weeks
Expected delivery: October 12, 2024

About Peter Padawitz

View all books by Peter Padawitz

Description of Deductive and Declarative Programming

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

User ratings of Deductive and Declarative Programming



Others also bought..
Find similar books
The book Deductive and Declarative Programming can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.