Deductive and Declarative Programming

(Part of the Cambridge Tracts in Theoretical Computer Science Series)

by Peter Padawitz

No Customer Reviews

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 well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from...

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"

Related Subjects

Artificial Intelligence Computer Science Computers Computers & Technology Education & Reference Languages & Tools Mathematics Programming Science & Math Software Software Design, Testing & Engineering Software Development Software Engineering Theory of Computing

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Deductive and Declarative Programming

(Part of the Cambridge Tracts in Theoretical Computer Science Series)

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us