Dmitriy Traytel: Courses in Spring Semester 2020

Name Dr. Dmitriy Traytel
URLhttp://people.inf.ethz.ch/trayteld
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
252-0058-00LFormal Methods and Functional Programming Information 7 credits4V + 2U
252-0058-00 VFormal Methods and Functional Programming4 hrs
Tue10:00-12:00ER SA TZ »
10:15-12:00ML D 28 »
Thu10:00-12:00ER SA TZ »
10:15-12:00ML D 28 »
P. Müller, D. Traytel
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue13:15-15:00CAB G 52 »
13:15-15:00CAB G 57 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Wed15:15-17:00CHN D 42 »
15:15-17:00CHN F 46 »
15:15-17:00HG G 26.5 »
15:15-17:00NO E 11 »
16:15-18:00CAB G 59 »
P. Müller, D. Traytel