252-0058-00L  Formal Methods and Functional Programming

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


ProgrammeSectionType
Computer Science BachelorCompulsory Courses (4. Sem.)OInformation
Computer Science BachelorBasic CoursesOInformation