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

Decision Procedures

An Algorithmic Point of View

Daniel Kroening & Ofer Strichman
    • $54.99
    • $54.99

Publisher Description

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
Computers & Internet
RELEASED
2008
April 29
LANGUAGE
EN
English
LENGTH
322
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
10.1
MB

More Books Like This

Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
2007
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2008
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
2011
Automated Reasoning Automated Reasoning
Automated Reasoning
2008
Automated Reasoning Automated Reasoning
Automated Reasoning
2010
Theory and Application of Satisfiability Testing Theory and Application of Satisfiability Testing
Theory and Application of Satisfiability Testing
2011

More Books by 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

Other Books in This Series

Universal Artificial Intelligence Universal Artificial Intelligence
Universal Artificial Intelligence
2006
Abstract Computing Machines Abstract Computing Machines
Abstract Computing Machines
2006
A Practical Theory of Reactive Systems A Practical Theory of Reactive Systems
A Practical Theory of Reactive Systems
2006
Software Engineering 1 Software Engineering 1
Software Engineering 1
2007
Design and Analysis of Randomized Algorithms Design and Analysis of Randomized Algorithms
Design and Analysis of Randomized Algorithms
2006
Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
2022