Clicky

Handbook of Model Checking by Edmund M. Clarke and similar books you'll love - Bookscovery

Home > Authors > Edmund M. Clarke > Handbook of Model Checking

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

11 Books Similar to Handbook of Model Checking by Edmund M. Clarke

Bookscovery readers who liked Handbook of Model Checking also like Model Checking, Second Edition, Embedded Software and Mathematical and Engineering Methods in Computer Science. How many of these have you read?

Model Checking, Second Edition by Orna Grumberg

Cover of Model Checking, Second Edition
Buy this book at:
Bookshop.org Amazon

Embedded Software by Thomas A. Henzinger

Cover of Embedded Software
Buy this book at:
Bookshop.org Amazon

Mathematical and Engineering Methods in Computer Science by Antonin Kucera

Cover of Mathematical and Engineering Methods in Computer Science
Buy this book at:
Bookshop.org Amazon

25 Years of Model Checking by Orna Grumberg

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

Computer Aided Verification by Natasha Sharygina

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

Computer Science Logic by Anuj Dawar

Cover of Computer Science Logic
Buy this book at:
Bookshop.org Amazon

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings by Helmut Veith

Cover of Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
Buy this book at:
Bookshop.org Amazon

Model Checking, Second Edition by Orna Grumberg

Cover of Model Checking, Second Edition
Buy this book at:
Bookshop.org Amazon

Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung by Helmut Veith

Cover of Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung
Buy this book at:
Bookshop.org Amazon

Computer Aided Verification by Armin Biere

Cover of Computer Aided Verification
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 Handbook of Model Checking

Please sign in to leave a comment