Clicky

Tests and Proofs by Wolfgang Ahrendt and similar books you'll love - Bookscovery

Home > Authors > Wolfgang Ahrendt > Tests and Proofs

Buy at: Bookshop.org Amazon

Tests and Proofs

Wolfgang Ahrendt, Heike Wehrheim

Recent activity

Rate this book to see your activity here.

4 Books Similar to Tests and Proofs by Wolfgang Ahrendt

Bookscovery readers who liked Tests and Proofs also like Deductive Software Verification : Future Perspectives, Deductive Software Verification - the KeY Book and Integrated Formal Methods. How many of these have you read?

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

Integrated Formal Methods by Wolfgang Ahrendt

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

Logic of Software. a Tasting Menu of Formal Methods by Wolfgang Ahrendt

Cover of Logic of Software. a Tasting Menu of Formal Methods
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Tests and Proofs

Please sign in to leave a comment