252-0058-00L  Formal Methods and Functional Programming

SemesterFrühjahrssemester 2021
DozierendeD. Basin, P. Müller
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


NummerTitelUmfangDozierende
252-0058-00 VFormal Methods and Functional Programming4 Std.
Di10:15-12:00ML D 28 »
Do10:15-12:00ML D 28 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 Std.
Di14:15-16:00CAB G 52 »
14:15-16:00CAB G 57 »
14:15-16:00NO D 11 »
14:15-16:00NO E 11 »
Mi10:15-12:00CAB G 52 »
16:15-18:00CHN D 42 »
16:15-18:00CHN F 46 »
16:15-18:00HG G 26.5 »
16:15-18:00NO E 11 »
D. Basin, P. Müller