TU Darmstadt / ULB / TUbiblio

Mechanized verification of imperative and functional programs

Giesl, Jürgen :
Mechanized verification of imperative and functional programs.
Technische Univ. Darmstadt , Darmstadt
[Habilitation], (1999)

Typ des Eintrags: Habilitation
Erschienen: 1999
Autor(en): Giesl, Jürgen
Titel: Mechanized verification of imperative and functional programs
Sprache: Englisch
Ort: Darmstadt
Verlag: Technische Univ. Darmstadt
Kollation: VIII,223 S.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:56
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen