A type-theoretic framework for software component synthesis
Bessai, Jan ; Rehof, Jakob ; Heineman, George T. 2019 Universitätsbibliothek Dortmund
- Link zu diesem Datensatz
-
https://d-nb.info/1200209680
- Titel
-
A type-theoretic framework for software component synthesis
- Art des Inhalts
- Monographie
- Verfassangaben
- Jan Bessai ; Gutachter: George T. Heineman ; Betreuer: Jakob Rehof
- Autor(en)
-
- Bessai, Jan
- Rehof, Jakob
- Heineman, George T.
- Verlag
- Dortmund : Universitätsbibliothek Dortmund [2019]
- Jahr
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- Online
- https://hdl.handle.net/2003/38387
- Sprache
- eng
- Schlagwörter
-
- Stand
- 18.06.2021 16:28
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
