Zoeken

U zocht naar: Auteur Ahrendt, Wolfgang. Filter Auteur: Ahrendt, Wolfgang. weghalen Fulltext online Filter Fulltext: online weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. 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