A dynamic logic for program verification
Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Meyer, Albert R. ; Taitslin, Michael A. 1989 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1382398018
- Titel
-
A dynamic logic for program verification
- Art des Inhalts
- Monographie
- Verfassangaben
- M. Heisel, Wolfgang Reif, W. Stephan ; Herausgeber: Albert R. Meyer, Michael A. Taitslin
- Autor(en)
-
- Heisel, M.
- Reif, Wolfgang
- Stephan, W.
- Meyer, Albert R.
- Taitslin, Michael A.
- Verlag
- Augsburg : Universität Augsburg [1989] - Berlin : Springer [1989]
- Jahr
- Erscheinungsdatum: 1989
- Umfang/Format
- Online-Ressource
- DOI
- 10.1007/3-540-51237-3_12
- Online
- https://doi.org/10.1007/3-540-51237-3_12
- Sprache
- eng
- Anmerkungen
-
In: Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3–8, 1989; proceedings, S. 134-145
- Stand
- 05.12.2025 09:18
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
