Clicky

Model Checking, Second Edition by Orna Grumberg and similar books you'll love - Bookscovery

Home > Authors > Orna Grumberg > Model Checking, Second Edition

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

11 Books Similar to Model Checking, Second Edition by Orna Grumberg

Bookscovery readers who liked Model Checking, Second Edition also like 25 Years of Model Checking, Languages : from Formal to Natural and Model checking. How many of these have you read?

25 Years of Model Checking by Orna Grumberg

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

Languages : from Formal to Natural by Orna Grumberg

Cover of Languages : from Formal to Natural
Buy this book at:
Bookshop.org Amazon

Model checking by Edmund M. Clarke Jr.

Cover of Model checking
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

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

Handbook of Model Checking by Edmund M. Clarke

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

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

Handbook of Model Checking by Edmund M. Clarke

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

Comments and reviews of Model Checking, Second Edition

Please sign in to leave a comment