The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley and Zohar Manna

Book Overview

Computational logic is a fast-growing field. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software as an application of computational logic. The increasing ubiquity of computers...

• Format: Paperback
• Language: English
• ISBN: 3642093477
• ISBN13: 9783642093470
• Release Date: October 2010
• Publisher: Springer
• Length: 366 Pages
• Weight: 1.18 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"