Case studies in literate and structured formal developments
Simons, Martin ; Weber, Matthias 1995 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- Link zu diesem Datensatz
-
https://d-nb.info/944503101
- Titel
-
Case studies in literate and structured formal developments
- Art des Inhalts
- Monographie
- Verfassangaben
- Martin Simons ; Matthias Weber. [Technische Universität Berlin, Fachbereich 13, Informatik]
- Autor(en)
-
- Simons, Martin
- Weber, Matthias
- Verlag
- Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 [1995]
- Jahr
- Erscheinungsdatum: 1995
- Umfang/Format
- 190 S.
- Online
- https://d-nb.info/944503101/04
- Sprache
- ger
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 19 - 22
- Stand
- 03.01.2026 19:44
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag