Aaron R. Bradley
The Calculus of Computation: Decision Procedures With Applications to Verification
Auteur(s) : Aaron R. Bradley
Date de publication : 03-09-2007
Edition : Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Type : Relie
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 makes implementing correct systems more important than ever.
Verification exercises develop the reader's facility in specifying and verifying software using logic.... Lire la suite
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 makes implementing correct systems more important than ever.
Verification exercises develop the reader's facility in specifying and verifying software using logic.... Lire la suite
Cote de The Calculus of Computation: Decision Procedures With Applications to Verification
61 €
= stable
Sur 12 mois : de 58 € à 66 € · Prix moyen : 61 €
Fiabilité : +++ Élevée — Le prix reste proche de la cote (écart typique ±0 €).
Cote calculée sur les 12 derniers mois
Évolution de la cote — médiane mensuelle sur 12 mois
Plus le chiffre est bas, plus le livre se vend.
Le produit a bien été ajouté au panier
The Calculus of Computation: Decision Procedures With Applications to Verification
Etat : N/A
Prix : 0
Total, 0 article : 0