inf484 - Spezielle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I
Department für Informatik | 6 KP | |||||||
---|---|---|---|---|---|---|---|---|
|
||||||||
Semesterveranstaltungen Sommersemester 2019 | ||||||||
Lehrveranstaltungsform: VA-Auswahl | ||||||||
Hinweise zum Modul | ||||||||
|
Department für Informatik | 6 KP | |||||||
---|---|---|---|---|---|---|---|---|
|
||||||||
Semesterveranstaltungen Sommersemester 2019 | ||||||||
Lehrveranstaltungsform: VA-Auswahl | ||||||||
Hinweise zum Modul | ||||||||
|