Clicky

Hardware and Software: Verification and Testing by Armin Biere and similar books you'll love - Bookscovery

Home > Authors > Armin Biere > Hardware and Software: Verification and Testing

Buy at: Bookshop.org Amazon

Hardware and Software: Verification and Testing

Armin Biere

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.

Recent activity

Rate this book to see your activity here.

7 Books Similar to Hardware and Software: Verification and Testing by Armin Biere

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

Computer Aided Verification by Armin Biere

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

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

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

Comments and reviews of Hardware and Software: Verification and Testing

Please sign in to leave a comment