Clicky

Logic of Software. a Tasting Menu of Formal Methods by Wolfgang Ahrendt and similar books you'll love - Bookscovery

Home > Authors > Wolfgang Ahrendt > Logic of Software. a Tasting Menu of Formal Methods

Buy at: Bookshop.org Amazon

Logic of Software. a Tasting Menu of Formal Methods

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

Recent activity

Rate this book to see your activity here.

11 Books Similar to Logic of Software. a Tasting Menu of Formal Methods by Wolfgang Ahrendt

Bookscovery readers who liked Logic of Software. a Tasting Menu of Formal Methods 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

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

Deductive Software Verification - the KeY Book by Wolfgang Ahrendt

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

Formal Methods for Executable Software Models by Marco Bernardo

Cover of Formal Methods for Executable Software Models
Buy this book at:
Bookshop.org Amazon

Formal Methods for Multicore Programming by Marco Bernardo

Cover of Formal Methods for Multicore Programming
Buy this book at:
Bookshop.org Amazon

Service-Oriented and Cloud Computing by Flavio De Paoli

Cover of Service-Oriented and Cloud Computing
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Logic of Software. a Tasting Menu of Formal Methods

Please sign in to leave a comment