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
Formale Entwicklung objektorientierter Software (WS 06/07)
Formale Entwicklung objektorientierter Software (WS 06/07)
Typ:
Praktikum
Ort:
SR 301
Zeit:
Mi, 17:30 - 19:00
Dozent:
Prof. P. H. Schmitt
Christian Engel
Frank Werner
SWS:
2