Tests and ProofsWolfgang Ahrendt
Tests and Proofs
Wolfgang Ahrendt, Heike Wehrheim · 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
- Publisher
- Springer
- Editions
- 1
- Pages
- 194
- ISBN
- 9783030509941
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
Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
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