Dmitriy Traytel: Lehrveranstaltungen im Frühjahrssemester 2019 |
Name | Herr Dr. Dmitriy Traytel |
URL | http://people.inf.ethz.ch/trayteld |
Departement | Informatik |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | |||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
252-0058-00L | Formal Methods and Functional Programming | 7 KP | 4V + 2U | ||||||||||||||||||||||||||
252-0058-00 V | Formal Methods and Functional Programming | 4 Std. |
| D. Basin, P. Müller, D. Traytel | |||||||||||||||||||||||||
252-0058-00 U | Formal Methods and Functional Programming | 2 Std. |
| 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 KP | 7P | ||||||||||||||||||||||||||
263-4630-00 P | Computer-Aided Modelling and Reasoning | 7 Std. |
| C. Sprenger, D. Traytel |