Hardware and Software: Verification and TestingArmin Biere
Hardware and Software: Verification and Testing
Armin Biere · 2013
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.
About the book
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
Book details
- Year
- 2013
- Language
- English
- Series
- Lecture Notes in Computer Science -- 7857
- Publisher
- Springer Berlin Heidelberg
- Editions
- 2
- Pages
- 281
- ISBN
- 9783642396113
Data source: Wikidata
More by Armin Biere
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere · 2020
Computer Aided VerificationArmin Biere
Computer Aided Verification
Armin Biere · 2014
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