Introduction to program verification
Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1990 Fachbereich Informatik der Univ.
- Link zu diesem Datensatz
-
https://d-nb.info/943670152
- Titel
-
Introduction to program verification
- Art des Inhalts
- Monographie
- Verfassangaben
- Krzysztof R. Apt ; Ernst-Rüdiger Olderog. Hrsg.: Die Professoren des Fachbereichs Informatik
- Autor(en)
-
- Apt, Krzysztof R.
- Olderog, Ernst-Rüdiger
- Verlag
- Oldenburg : Fachbereich Informatik der Univ. [1990]
- Jahr
- Erscheinungsdatum: 1990
- Umfang/Format
- 70 S.
- Sprache
- ger
- Sachgruppe(n)
-
- Stand
- 02.12.2017 21:28
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
