Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle · 2020
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2020
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- ISBN
- 9783030643539
Data source: Wikidata
More by Wolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt · 2022
Tests and ProofsWolfgang Ahrendt
Tests and Proofs
Wolfgang Ahrendt · 2020
Integrated Formal MethodsWolfgang Ahrendt
Integrated Formal Methods
Wolfgang Ahrendt · 2019
Deductive Software Verification - the KeY BookWolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt · 2017