Search

You searched for: Auteur Ahrendt, Wolfgang. Remove constraint Auteur: Ahrendt, Wolfgang.
1 entry found
Number of results to display per page

Search Results

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!
Author:
Ahrendt, Wolfgang.; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book