Computer Aided VerificationArmin Biere
Computer Aided Verification
Armin Biere, Roderick Bloem · 2014
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2014
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 2
- Pages
- 877
- ISBN
- 9783319088679
Data source: Wikidata
More by Armin Biere
Hardware and Software: Verification and TestingArmin Biere
Hardware and Software: Verification and Testing
Armin Biere · 2013
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere · 2020
Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Armin Biere · 2009
Theory and applications of satisfiability testing -- SAT 2006Armin Biere
Theory and applications of satisfiability testing -- SAT 2006
Armin Biere · 2006
Handbook of SatisfiabilityArmin Biere
Handbook of Satisfiability
Armin Biere · 2009
Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere · 2008