Home
|
deutsch
|
Legals
|
Sitemap
|
KIT
Logic and Formal Methods
Staff
Research
Teaching
Theses
Publications
Contact
Formale Entwicklung objektorientierter Software (WS 06/07)
Formale Entwicklung objektorientierter Software (WS 06/07)
Type:
Praktikum
Place:
SR 301
Time:
Mi, 17:30 - 19:00
Lecturer:
Prof. P. H. Schmitt
Christian Engel
Frank Werner
SWS:
2