Clicky

Automated Reasoning by Jasmin Blanchette and similar books you'll love - Bookscovery

Home > Authors > Jasmin Blanchette > Automated Reasoning

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

5 Books Similar to Automated Reasoning by Jasmin Blanchette

Bookscovery readers who liked Automated Reasoning also like C++ GUI programming with Qt 4, C++ GUI Programming with Qt4 (Adobe Reader) and Integrated Formal Methods. How many of these have you read?

C++ GUI programming with Qt 4 by Jasmin Blanchette

Cover of C++ GUI programming with Qt 4
Buy this book at:
Bookshop.org Amazon

C++ GUI Programming with Qt4 (Adobe Reader) by Jasmin Blanchette

Cover of C++ GUI Programming with Qt4 (Adobe Reader)
Buy this book at:
Bookshop.org Amazon

Integrated Formal Methods by Nikolai Kosmatov

Cover of Integrated Formal Methods
Buy this book at:
Bookshop.org Amazon

Reachability Problems by Laura Kovács

Cover of Reachability Problems
Buy this book at:
Bookshop.org Amazon

Tests and Proofs by Laura Kovács

Cover of Tests and Proofs
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Reasoning

Please sign in to leave a comment