Integrated Formal MethodsWolfgang Ahrendt
Integrated Formal Methods
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
- 2019
- Publisher
- Springer
- Editions
- 1
- Pages
- 571
- ISBN
- 9783030349677
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
Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt · 2020
Deductive Software Verification - the KeY BookWolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt · 2017