TU Darmstadt / ULB / TUbiblio

Automatic termination analysis for functional and imperative programs

Brauburger, Jürgen :
Automatic termination analysis for functional and imperative programs.
Infix , Sant Augustin
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1999
Autor(en): Brauburger, Jürgen
Titel: Automatic termination analysis for functional and imperative programs
Sprache: Englisch
Band: 207
Ort: Sant Augustin
Verlag: Infix
Edition: Sant Augustin: Infix, 1999. VIII, 244 S
Kollation: VIII, 244 S.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:56
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen