Dmitriy Traytel: Course units in Spring Semester 2019 |
Name | Dr. Dmitriy Traytel |
URL | http://people.inf.ethz.ch/trayteld |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
252-0058-00L | Formal Methods and Functional Programming ![]() | 7 credits | 4V + 2U | D. Basin, P. Müller, D. Traytel | |
263-4630-00L | Computer-Aided Modelling and Reasoning ![]() In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum. | 8 credits | 7P | C. Sprenger, D. Traytel |