Reasoning about terminating functional programs
Slind, Konrad
- Link zu diesem Datensatz
- https://d-nb.info/960276270
- Titel
- Reasoning about terminating functional programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Konrad Slind
- Autor
- Slind, Konrad
- Zeitliche Einordnung
- Erscheinungsdatum: 1999
- Umfang/Format
- 184 S.
- Online
- https://d-nb.info/960276270/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- München, Techn. Univ., Diss., 1999
- Stand
- 04.10.2024 22:08
- Im Katalog seit
- 06.03.2026