Course Catalogue
Print
Help
Contact
de
Courses
Lecturers
Time and Place
Search
252-0058-00L Formal Methods and Functional Programming
Semester
Spring Semester 2018
Lecturers
D. Basin
,
P. Müller
Periodicity
yearly recurring course
Language of instruction
English
Courses
Catalogue data
Performance assessment
Learning materials
Groups
Restrictions
Offered in
Overview
No information on groups available.