Wolfgang Ahrendt
Wolfgang Ahrendt
5 ספרים במאגר
ספרים
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
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