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
Beteiligt:
Küfner, Philipp (Verfasser) ; Nestmann, Uwe (Akademischer Betreuer); Kammüller, Florian (Akademischer Betreuer)
Veröffent­licht:
Berlin : Technische Universität Berlin, 2014
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Technische Universität Berlin, 2013
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen