Treffer: Modeling and verification of distributed algorithms in theorem proving environments

Titel:

Modeling and verification of distributed algorithms in theorem proving environments / Philipp Küfner. Gutachter: Uwe Nestmann ; Florian Kammüller. Betreuer: Uwe Nestmann

Verantwortlich:

Veröffentlicht:

Berlin : Technische Universität Berlin, 2014

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Technische Universität Berlin, 2013

Schlagworte:

Zusatz-Informationen