Clicky

Automated Reasoning by Jürgen Giesl and similar books you'll love - Bookscovery

Home > Authors > Jürgen Giesl > Automated Reasoning

Buy at: Bookshop.org Amazon

Automated Reasoning

Jürgen Giesl, Reiner Hähnle

Recent activity

Rate this book to see your activity here.

3 Books Similar to Automated Reasoning by Jürgen Giesl

Bookscovery readers who liked Automated Reasoning also like Term Rewriting and Applications, Deductive Software Verification : Future Perspectives and Deductive Software Verification - the KeY Book. How many of these have you read?

Term Rewriting and Applications by Jürgen Giesl

Cover of Term Rewriting and Applications
Buy this book at:
Bookshop.org Amazon

Deductive Software Verification : Future Perspectives by Wolfgang Ahrendt

Cover of Deductive Software Verification : Future Perspectives
Buy this book at:
Bookshop.org Amazon

Deductive Software Verification - the KeY Book by Wolfgang Ahrendt

Cover of Deductive Software Verification - the KeY Book
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Reasoning

Please sign in to leave a comment