The Calculus of Computation: Decision Procedures with Applications to Verification

Bradley, Aaron R. R.; Manna, Zohar

ISBN 10: 3642093477 / ISBN 13: 9783642093470

Edité par Springer, 2010

A propos de cet article

N° de réf. du vendeur I-9783642093470

Détails bibliographiques

Titre : The Calculus of Computation: Decision ...

Éditeur : Springer

Date d'édition : 2010

Reliure : Couverture souple

Etat : New

A propos de ce titre

Présentation de l'éditeur:

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.