bib.howest.be Zoekresultaten

U zocht naar: Auteur Ahrendt

1 - 5 van 5

1. Tests and Proofs

Auteur:: Ahrendt; Wehrheim, Heike
Uitgever:: Springer International Publishing 2020
Type:: e-book

2. Integrated Formal Methods

Auteur:: Ahrendt; Tapia Tarifa, Silvia Lizeth
Uitgever:: Springer International Publishing 2019
Type:: e-book

3. Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Auteur:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Uitgever:: Springer International Publishing 2020
Type:: e-book

4. Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Auteur:: Ahrendt, Wolfgang.; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

5. Deductive Software Verification – The KeY Book

Auteur:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Uitgever:: Springer International Publishing 2016
Type:: e-book