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.

3 Books Similar to Automated Reasoning by Jasmin Blanchette

Bookscovery readers who liked Automated Reasoning also like Integrated Formal Methods, Reachability Problems and Tests and Proofs. How many of these have you read?

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