Clicky

Deductive Software Verification - the KeY Book by Wolfgang Ahrendt and similar books you'll love - Bookscovery

Home > Authors > Wolfgang Ahrendt > Deductive Software Verification - the KeY Book

Buy at: Bookshop.org Amazon

Deductive Software Verification - the KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt

Recent activity

Rate this book to see your activity here.

10 Books Similar to Deductive Software Verification - the KeY Book by Wolfgang Ahrendt

Bookscovery readers who liked Deductive Software Verification - the KeY Book also like Deductive Software Verification : Future Perspectives, Integrated Formal Methods and Logic of Software. a Tasting Menu of 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

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

Tests and Proofs by Wolfgang Ahrendt

Cover of Tests and Proofs
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

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

Deductive Software Verification : Future Perspectives by Wolfgang Ahrendt

Cover of Deductive Software Verification : Future Perspectives
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

Automated Reasoning by Jürgen Giesl

Cover of Automated Reasoning
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

Comments and reviews of Deductive Software Verification - the KeY Book

Please sign in to leave a comment