SWT-ASV-M: Applied Software Verification (Übung)

Dozent/in:

Eugene Yip

Angaben:

Übung, 2,00 SWS

Termine:

Di, 14:00 - 16:00, WE5/03.004
Das Modul beginnt am Di 23.04.2019 um 14:15 Uhr in Raum WE5/03.004.

SWT-RSD-B: Reactive Systems Design

Dozent/in:

Eugene Yip

Angaben:

Übung, 2,00 SWS

Termine:

Dieses Modul muss im Sommersemester 2019 leider entfallen.

SWT-SEM-M: Seminar Software Engineering and Programming Languages

Dozent/in:

Eugene Yip

Angaben:

Seminar, 2,00 SWS

Termine:

Mi, 14:00 - 16:00, WE5/03.004
Die erste Veranstaltung findet am Mi 24.04.2019 um 14:15 Uhr in Raum WE5/03.004 statt, in der auch die Anmeldung zu dem Seminar vorgenommen wird.