Dmitriy Traytel: Course units 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 + 2UP. Müller, D. Traytel