252-0058-00L  Formal Methods and Functional Programming

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


NummerTitelUmfangDozierende
252-0058-00 VFormal Methods and Functional Programming3 Std.
Di09:15-12:00HG E 7 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 Std.
Mi14:15-16:00ETF B 105 »
14:15-16:00ETZ J 91 »
14:15-16:00HG D 3.1 »
14:15-16:00HG D 7.2 »
Fr08:15-10:00IFW A 32.1 »
08:15-10:00IFW A 34 »
08:15-10:00IFW B 42 »
08:15-10:00IFW C 42 »
D. Basin, P. Müller