252-0058-00L  Formal Methods and Functional Programming

SemesterSpring Semester 2009
LecturersD. Basin, P. Müller
Periodicityyearly recurring course
Language of instructionEnglish


NumberTitleHoursLecturers
252-0058-00 VFormal Methods and Functional Programming3 hrs
Tue09:15-12:00HG E 7 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 hrs
Wed14: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 »
Fri08: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