Algorithmic aspects of type-based program sythesis
Dudenhefner, Andrej ; Rehof, Jakob ; Urzyczyn, Pawel 2019 Universitätsbibliothek Dortmund
- Link zu diesem Datensatz
-
https://d-nb.info/1190354764
- Titel
-
Algorithmic aspects of type-based program sythesis
- Art des Inhalts
- Monographie
- Verfassangaben
- Andrej Dudenhefner ; Gutachter: Pawel Urzyczyn ; Betreuer: Jakob Rehof
- Autor(en)
-
- Dudenhefner, Andrej
- Rehof, Jakob
- Urzyczyn, Pawel
- Verlag
- Dortmund : Universitätsbibliothek Dortmund [2019]
- Jahr
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- Online
- https://hdl.handle.net/2003/38127
- Sprache
- eng
- Schlagwörter
-
- Stand
- 18.11.2020 22:34
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
