We a good story
Quick delivery in the UK

Deductive and Declarative Programming

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 22, 2006
  • Dimensions:
  • 152x228x17 mm.
  • Weight:
  • 469 g.
Delivery: 1-2 weeks
Expected delivery: January 5, 2025

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



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.