252-0058-00L  Formal Methods and Functional Programming

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


Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits7 credits
ExaminersP. Müller, D. Basin
Typesession examination
Language of examinationEnglish
RepetitionThe performance assessment is only offered in the session after the course unit. Repetition only possible after re-enrolling.
Mode of examinationwritten 180 minutes
Additional information on mode of examinationWe offer 2 graded quizzes, in the first and second half.
Each quiz will be 30 minutes and each will count 10% of the total grade.
Written aidsNone
This information can be updated until the beginning of the semester; information on the examination timetable is binding.