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

Format:: e-book
Title:: Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Author:: Ahrendt, Wolfgang.; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Language:: English
Publisher:: Cham Springer International Publishing AG 2022
ISBN:: 3-031-08165-X
3-031-08166-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:24148303000041?locale=en