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

Type:

e-book

Titel:

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

Taal:

Engels

Uitgever:

Cham Springer International Publishing AG 2022

ISBN:

3-031-08165-X
3-031-08166-8

Permalink:

http://bibtest.howest.be/catalog/ebk03:24148303000041