Clicky

Integrated Formal Methods by Wolfgang Ahrendt and similar books you'll love - Bookscovery

Home > Authors > Wolfgang Ahrendt > Integrated Formal Methods

Buy at: Bookshop.org Amazon

Integrated Formal Methods

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

Recent activity

Rate this book to see your activity here.

4 Books Similar to Integrated Formal Methods by Wolfgang Ahrendt

Bookscovery readers who liked Integrated Formal Methods also like Deductive Software Verification : Future Perspectives, Deductive Software Verification - the KeY Book 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

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

Tests and Proofs by Wolfgang Ahrendt

Cover of Tests and Proofs
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Integrated Formal Methods

Please sign in to leave a comment