Computing rectangular dissections
a case study in deriving functional programs from logical specifications
Padawitz, Peter 1994 Dekanat Informatik, Univ.
- Link zu diesem Datensatz
-
https://d-nb.info/944748538
- Titel
-
Computing rectangular dissections : a case study in deriving functional programs from logical specifications
- Art des Inhalts
- Monographie
- Verfassangaben
- Peter Padawitz. [Universität Dortmund, Fachbereich Informatik]
- Autor
-
Padawitz, Peter
- Verlag
- Dortmund : Dekanat Informatik, Univ. [1994]
- Jahr
- Erscheinungsdatum: 1994
- Umfang/Format
- 39 S.
- Online
- https://d-nb.info/944748538/04
- Sprache
- ger
- Sachgruppe(n)
-
- Stand
- 06.01.2025 19:32
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
