Clicky

Computer Aided Verification by Armin Biere and similar books you'll love - Bookscovery

Home > Authors > Armin Biere > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Armin Biere, Roderick Bloem

Recent activity

Rate this book to see your activity here.

9 Books Similar to Computer Aided Verification by Armin Biere

Bookscovery readers who liked Computer Aided Verification also like Digitaltechnik - eine praxisnahe Einfu hrung, Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen and Handbook of Satisfiability. How many of these have you read?

Digitaltechnik - eine praxisnahe Einfu hrung by Armin Biere

Cover of Digitaltechnik - eine praxisnahe Einfu hrung
Buy this book at:
Bookshop.org Amazon

Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen by Armin Biere

Cover of Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
Buy this book at:
Bookshop.org Amazon

Handbook of Satisfiability by Armin Biere

Cover of Handbook of Satisfiability
Buy this book at:
Bookshop.org Amazon

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications by Armin Biere

Cover of Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Buy this book at:
Bookshop.org Amazon

Hardware and Software: Verification and Testing by Armin Biere

Cover of Hardware and Software: Verification and Testing
Buy this book at:
Bookshop.org Amazon

Theory and applications of satisfiability testing -- SAT 2006 by Armin Biere

Cover of Theory and applications of satisfiability testing -- SAT 2006
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Armin Biere

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

Handbook of Model Checking by Edmund M. Clarke

Cover of Handbook of Model Checking
Buy this book at:
Bookshop.org Amazon

Hardware and Software : Verification and Testing by Roderick Bloem

Cover of Hardware and Software : Verification and Testing
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computer Aided Verification

Please sign in to leave a comment