Deductive and Declarative Programming

by Peter Padawitz

Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521032512
• ISBN13: 9780521032513
• Release Date: November 2006
• Publisher: Cambridge University Press
• Length: 288 Pages
• Weight: 1.02 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"