Zoeken

U zocht naar: Auteur Bubel, Richard Filter Auteur: Bubel, Richard weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
thumbnail
Full text!
Auteur:
Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Uitgever:
Springer International Publishing 2020
Type:
e-book
2. Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
thumbnail
Full text!
Auteur:
Ahrendt, Wolfgang.; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
3. Deductive Software Verification – The KeY Book
thumbnail
Full text!
Auteur:
Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Uitgever:
Springer International Publishing 2016
Type:
e-book