TU Darmstadt / ULB / TUbiblio

Computer verification of algorithms using a formal proof system

Kaiser, Markus (2010)
Computer verification of algorithms using a formal proof system.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 2010
Autor(en): Kaiser, Markus
Art des Eintrags: Bibliographie
Titel: Computer verification of algorithms using a formal proof system
Sprache: Englisch
Referenten: Buchmann, Prof.Dr. Johannes ; Lämmel, Prof.Dr. Ralf
Publikationsjahr: 2010
Ort: Berlin
Verlag: dissertation.de
Reihe: Dissertation.de
Band einer Reihe: 1583
Zusätzliche Informationen:

Zugl.: Darmstadt, Techn. Univ., Diss. 2010

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Theoretische Informatik - Kryptographie und Computeralgebra
Hinterlegungsdatum: 16 Feb 2011 11:09
Letzte Änderung: 14 Jan 2019 09:56
PPN:
Referenten: Buchmann, Prof.Dr. Johannes ; Lämmel, Prof.Dr. Ralf
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