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