252-0058-00L  Formal Methods and Functional Programming

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


NumberTitleHoursLecturers
252-0058-00 VFormal Methods and Functional Programming
Findet im HG E 7 mit Videoübertragung ins HG E 3 statt.
4 hrs
Tue10:15-12:00HG E 3 »
10:15-12:00HG E 7 »
Thu10:15-12:00HG E 3 »
10:15-12:00HG E 7 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue14:15-16:00CAB G 52 »
16:15-18:00ETZ F 91 »
16:15-18:00ETZ G 91 »
Wed08:15-10:00CAB G 52 »
08:15-10:00ETZ F 91 »
08:15-10:00HG E 33.5 »
08:15-10:00LEE C 114 »
16:15-18:00CHN D 42 »
16:15-18:00CHN F 46 »
16:15-18:00HG G 26.5 »
D. Basin, P. Müller