inf486 - Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I (Veranstaltungsübersicht)
| Department für Informatik | 3 KP | |||||
|---|---|---|---|---|---|---|
|
|
||||||
| Semesterveranstaltungen Sommersemester 2015 | ||||||
Lehrveranstaltungsform: Seminar
|
||||||
| Hinweise zum Modul | ||||||
|
||||||
