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