Dmitriy Traytel: Lerneinheiten im Frühjahrssemester 2020 |
| 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 | P. Müller, D. Traytel | |