TU Darmstadt / ULB / TUbiblio

Verification of second-order functional programs

Aderhold, Markus Axel :
Verification of second-order functional programs.
Technische Universität , Darmstadt
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 2009
Autor(en): Aderhold, Markus Axel
Titel: Verification of second-order functional programs
Sprache: Englisch
Ort: Darmstadt
Verlag: Technische Universität
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 06 Okt 2009 09:42
Zusätzliche Informationen:

Darmstadt, Techn. Univ., Diss., 2009

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen