252-0058-00L  Formal Methods and Functional Programming

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


NummerTitelUmfangDozierende
252-0058-00 VFormal Methods and Functional Programming4 Std.
Di10:15-12:00HG G 5 »
Do10:15-12:00HG G 5 »
D. Basin, P. Müller, D. Traytel
252-0058-00 UFormal Methods and Functional Programming2 Std.
Di13:15-15:00CAB G 52 »
13:15-15:00CHN D 46 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Mi15:15-17:00CAB G 59 »
15:15-17:00CHN D 42 »
15:15-17:00IFW A 34 »
15:15-17:00IFW C 33 »
D. Basin, P. Müller, D. Traytel