inf486 - Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I
Department für Informatik | 3 KP | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
|
||||||||||
Semesterveranstaltungen Sommersemester 2017 | ||||||||||
Lehrveranstaltungsform: Vorlesung oder Seminar
|
||||||||||
Hinweise zum Modul | ||||||||||
|