Automatic termination analysis for functional and imperative programs
Brauburger, Jürgen 1999 Infix
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/956678750
- Titel
- Automatic termination analysis for functional and imperative programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Jürgen Brauburger
- Autor
- Brauburger, Jürgen
- Verlag
- Sankt Augustin : Infix [1999]
- Jahr
- Erscheinungsdatum: 1999
- Umfang/Format
- 244 S.
- ISBN/Einband/Preis
9783896012074- Online
- https://d-nb.info/956678750/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- Zugl.: Darmstadt, Techn. Univ., Diss., 1999
- Stand
- 22.03.2024 22:17
- Im Katalog seit
- 06.03.2026