The Calculus of Computation - Decision Procedures with Applications to Verification - Aaron R. Bradley - Hardback Bog - Springer-Verlag Berlin and
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Description
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 book also presents a logical approach to engineering correct software.
