TU Darmstadt / ULB / TUbiblio

Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Schweitzer, Dirk Stephan (2007)
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 2007
Autor(en): Schweitzer, Dirk Stephan
Art des Eintrags: Bibliographie
Titel: Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Sprache: Deutsch
Publikationsjahr: 2007
Ort: Darmstadt
Verlag: Technische Universität
Kollation: VIII, 290 S. : graph.Darst.
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:24
Letzte Änderung: 26 Aug 2018 21:23
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen