Temporal-logisches Programmieren
Brzoska, Christoph
- Link zu diesem Datensatz
- https://d-nb.info/943154901
- Titel
- Temporal-logisches Programmieren
- Art des Inhalts
- Monographie
- Verfassangaben
- von Christoph Brzoska
- Autor
- Brzoska, Christoph
- Zeitliche Einordnung
- Erscheinungsdatum: 1993
- Umfang/Format
- VI, 172 S.
- Online
- https://d-nb.info/943154901/04
- Sprache
- ger
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- Karlsruhe, Univ., Diss., 1993 (Nur beschränkt für den Austausch)
- Stand
- 03.04.2024 16:46
- Im Katalog seit
- 06.03.2026