Home
|
english
|
Impressum
|
Sitemap
|
KIT
Logik und Formale Methoden
Mitarbeiter
Forschung
Studium und Lehre
Studien- und Diplomarbeiten, Hiwi-Stellen
Veröffentlichungen
So finden Sie uns
Specifying Selected Parts of the Java API Using Dynamic Frames
Specifying Selected Parts of the Java API Using Dynamic Frames
Typ:
Studienarbeit
Datum:
2010
Betreuer:
Prof. P. H. Schmitt
Benjamin Weiß
Bearbeiter:
Daniel Peters