TU Darmstadt / ULB / TUbiblio

Automated termination analysis for imcompletely defined programs

Walther, Christoph ; Schweitzer, Stephan:
Automated termination analysis for imcompletely defined programs.
TUD, FB 20 Programmiermethodik, Darmstadt
[Buch], (2004)

Typ des Eintrags: Buch
Erschienen: 2004
Autor(en): Walther, Christoph ; Schweitzer, Stephan
Titel: Automated termination analysis for imcompletely defined programs
Sprache: Englisch
Band: 04/03
Ort: Darmstadt
Verlag: TUD, FB 20 Programmiermethodik
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:20
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen