Decision Procedures Decision Procedures
Texts in Theoretical Computer Science An EATCS Series

Decision Procedures

An Algorithmic Point of View

Daniel Kroening & Ofer Strichman
    • 41,99 €
    • 41,99 €

Description de l’éditeur

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

GENRE
Informatique et Internet
SORTIE
2008
29 avril
LANGUE
EN
Anglais
LONGUEUR
322
Pages
ÉDITIONS
Springer Berlin Heidelberg
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
10,1
Mo

Plus de livres par Daniel Kroening & Ofer Strichman

Model Checking, second edition Model Checking, second edition
Model Checking, second edition
2018
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
Validation of Evolving Software Validation of Evolving Software
Validation of Evolving Software
2015
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
2014
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2011

Autres livres de cette série

Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
2022
Software Engineering 3 Software Engineering 3
Software Engineering 3
2006
Universal Artificial Intelligence Universal Artificial Intelligence
Universal Artificial Intelligence
2006
Complexity Theory and Cryptology Complexity Theory and Cryptology
Complexity Theory and Cryptology
2006
Software Engineering 2 Software Engineering 2
Software Engineering 2
2007
Parameterized Complexity Theory Parameterized Complexity Theory
Parameterized Complexity Theory
2006