Clicky

25 Years of Model Checking by Orna Grumberg and similar books you'll love - Bookscovery

Home > Authors > Orna Grumberg > 25 Years of Model Checking

Buy at: Bookshop.org Amazon

25 Years of Model Checking

Orna Grumberg, Helmut Veith

Recent activity

Rate this book to see your activity here.

9 Books Similar to 25 Years of Model Checking by Orna Grumberg

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

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

Model Checking, Second Edition by Orna Grumberg

Cover of Model Checking, Second Edition
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

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

Comments and reviews of 25 Years of Model Checking

Please sign in to leave a comment