The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.).
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software E...
Full description
Saved in:
Bibliographic Details
| Other Authors: |
Hähnle, Reiner
(honouree.),
Ahrendt, Wolfgang
(Editor),
Beckert, Bernhard
(Editor),
Bubel, Richard
(Editor),
Johnsen, Einar Broch
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cham, Switzerland :
Springer,
2022.
|
|---|
| Series: | Lecture notes in computer science ;
13360.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click for online access
|
|---|