• The Logic of Software. A Tasti...
  • Bestand

Treffer: The Logic of Software. A Tasting Menu of Formal Methods

Titel:
The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Beteiligt:
Ahrendt, Wolfgang (Herausgeber); Beckert, Bernhard (Herausgeber); Bubel, Richard (Herausgeber); Johnsen, Einar Broch (Herausgeber)
Ausgabe:
1st ed. 2022
Veröffent­licht:
Cham : Springer International Publishing, 2022
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 521 Seiten) : 153 illus., 80 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13360
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: The Logic of Software. A Tasting Menu of Formal Methods. - Cham : Springer International Publishing, 2022. - ISBN 9783031081651
ISBN:
9783031081668 ; 3031081668 ; 9783031081651 (Sekundärausgabe) ; 9783031081675 (Sekundärausgabe)
DOI:
10.1007/978-3-031-08166-8

Zusatz-Informationen

Zusatz-Funktionen