• The Logic of Software. A Tasti...
  • *Holdings*

*Result*: The Logic of Software. A Tasting Menu of Formal Methods

*Title*:
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
*Author/editor-in-chief*:
Ahrendt, Wolfgang (Herausgeber); Beckert, Bernhard (Herausgeber); Bubel, Richard (Herausgeber); Johnsen, Einar Broch (Herausgeber)
*Edition*:
1st ed. 2022
*Publication*:
Cham : Springer International Publishing, 2022
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XII, 521 Seiten) : 153 illus., 80 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13360
*Other edition entry*:
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

*Additional information*

*Additional functions*