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.
Berlin, dissertation.de, TU Darmstadt, In: Dissertation.de, 1583, ISBN 978-3-86624-483-2,
[Ph.D. Thesis]

Item Type: Ph.D. Thesis
Erschienen: 2010
Creators: Kaiser, Markus
Title: Computer verification of algorithms using a formal proof system
Language: English
Series Name: Dissertation.de
Volume: 1583
Place of Publication: Berlin
Publisher: dissertation.de
ISBN: 978-3-86624-483-2
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Theoretical Computer Science - Cryptography and Computer Algebra
Date Deposited: 16 Feb 2011 11:09
Additional Information:

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

Referees: Buchmann, Prof.Dr. Johannes and Lämmel, Prof.Dr. Ralf
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item