Clicky

Deductive Software Verification : Future Perspectives by Wolfgang Ahrendt and similar books you'll love - Bookscovery

Home > Authors > Wolfgang Ahrendt > Deductive Software Verification : Future Perspectives

Buy at: Bookshop.org Amazon

Deductive Software Verification : Future Perspectives

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Recent activity

Rate this book to see your activity here.

10 Books Similar to Deductive Software Verification : Future Perspectives by Wolfgang Ahrendt

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

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

Tests and Proofs by Wolfgang Ahrendt

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

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 - the KeY Book by Wolfgang Ahrendt

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

Please sign in to leave a comment