252-0058-00L Formal Methods and Functional Programming
Semester | Spring Semester 2019 |
Lecturers | D. Basin, P. Müller, D. Traytel |
Periodicity | yearly recurring course |
Language of instruction | English |
Number | Title | Hours | Lecturers | |||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
252-0058-00 V | Formal Methods and Functional Programming | 4 hrs |
| D. Basin, P. Müller, D. Traytel | ||||||||||||||||||||||||
252-0058-00 U | Formal Methods and Functional Programming | 2 hrs |
| D. Basin, P. Müller, D. Traytel |