Program verification using dynamic logic
Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. 1988 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1382398050
- Titel
-
Program verification using dynamic logic
- Art des Inhalts
- Monographie
- Verfassangaben
- M. Heisel, Wolfgang Reif, W. Stephan ; Herausgeber: Egon Börger, Hans Kleine Büning, Michael M. Richter
- Autor(en)
-
- Heisel, M.
- Reif, Wolfgang
- Stephan, W.
- Börger, Egon
- Kleine Büning, Hans
- Richter, Michael M.
- Verlag
- Augsburg : Universität Augsburg [1988] - Berlin : Springer [1988]
- Jahr
- Erscheinungsdatum: 1988
- Umfang/Format
- Online-Ressource
- DOI
- 10.1007/3-540-50241-6_32
- Online
- https://doi.org/10.1007/3-540-50241-6_32
- Sprache
- eng
- Anmerkungen
-
In: CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987, S. 102-117
- Stand
- 05.12.2025 09:18
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
