252-0058-00L  Formal Methods and Functional Programming

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


NummerTitelUmfangDozierende
252-0058-00 VFormal Methods and Functional Programming4 Std.
Di10:15-12:00HG E 5 »
Do10:15-12:00HG E 5 »
11.08.14:15-17:00CAB G 11 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 Std.
Di13:15-15:00ETZ G 91 »
13:15-15:00ETZ H 91 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Mi15:15-17:00HG D 3.1 »
15:15-17:00HG D 5.1 »
15:15-17:00NO E 11 »
D. Basin, P. Müller