Articles liés à The Calculus of Computation: Decision Procedures with...
The Calculus of Computation: Decision Procedures with Applications to Verification - Couverture souple
Synopsis
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. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition 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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 47,23
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour The Calculus of Computation: Decision Procedures with...
Image d'archives
The Calculus of Computation : Decision Procedures with Applications to Verification
Edité par
Springer Berlin / Heidelberg, 2010
ISBN 10 : 3642093477
ISBN 13 : 9783642093470
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 50994677-20
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Calculus of Computation
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642093477
ISBN 13 : 9783642093470
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a logical approach to engineering correct software as an application of computational logic Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-. N° de réf. du vendeur 5048362
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Calculus of Computation : Decision Procedures with Applications to Verification
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642093477
ISBN 13 : 9783642093470
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. 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.This textbook also presents a logical approach to engineering correct software. 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. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems.For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study. N° de réf. du vendeur 9783642093470
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Calculus of Computation
Edité par
Springer Berlin Heidelberg Okt 2010, 2010
ISBN 10 : 3642093477
ISBN 13 : 9783642093470
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study. 384 pp. Englisch. N° de réf. du vendeur 9783642093470
Quantité disponible : 2 disponible(s)
Image d'archives
The Calculus of Computation: Decision Procedures with Applications to Verification
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642093470_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Calculus of Computation: Decision Procedures with Applications to Verification
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783642093470
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Calculus of Computation: Decision Procedures with Applications to Verification
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642093470
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
The Calculus of Computation
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2010, 2010
ISBN 10 : 3642093477
ISBN 13 : 9783642093470
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. 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.This textbook also presents a logical approach to engineering correct software. 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. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems.For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch. N° de réf. du vendeur 9783642093470
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Calculus of Computation : Decision Procedures With Applications to Verification
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11985527-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Calculus of Computation
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 384. N° de réf. du vendeur 262130295
Quantité disponible : 4 disponible(s)