252-0058-00L  Formal Methods and Functional Programming

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


NumberTitleHoursLecturers
252-0058-00 VFormal Methods and Functional Programming4 hrs
Tue10:15-12:00HG F 3 »
Thu10:15-12:00HG F 7 »
06.04.15:15-18:00HG E 7 »
15:15-18:00HG F 1 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue16:15-18:00IFW A 34 »
16:15-18:00IFW B 42 »
16:15-18:00IFW C 42 »
Wed15:15-17:00IFW A 32.1 »
15:15-17:00IFW A 34 »
15:15-17:00IFW C 33 »
D. Basin, P. Müller