Benutzer: Gast  Login
Dokumenttyp:
Studienarbeit 
Autor(en):
Hölzl, Johannes 
Titel:
Automatischer Korrektheitsbeweis von Algorithmen zur Hierarchischen Basistransformation 
Betreuer:
Pflüger, Dirk; Nipkow, Tobias 
Gutachter:
Bungartz, Hans-Joachim 
Jahr:
2009 
Monat:
Jan 
Hinweise:
IDP 
Fakultät:
Fakultät für Informatik 
TUM Einrichtung:
Fakultät für Informatik, Technische Universität München