252-0058-00L  Formal Methods and Functional Programming

SemesterSpring Semester 2016
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 E 5 »
Thu10:15-12:00HG E 5 »
10.03.09:15-10:00HG E 5 »
09:15-12:00ML D 28 »
12.05.10:15-12:00ML D 28 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue13:15-15:00CAB G 52 »
13:15-15:00CHN D 46 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Wed13:15-15:00CAB G 57 »
13:15-15:00CHN D 46 »
15:15-17:00CHN D 46 »
D. Basin, P. Müller