David Cock: Courses in Autumn Semester 2018

Name Dr. David Cock
Address
Institut für Computing Platforms
ETH Zürich, STF H 313
Stampfenbachstrasse 114
8092 Zürich
SWITZERLAND
E-maildavid.cock@inf.ethz.ch
URLhttps://people.inf.ethz.ch/dcock/
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
263-3850-00LInformal Methods Information 4 credits2G + 1A
263-3850-00 GInformal Methods2 hrs
Thu10:15-12:00CAB G 56 »
15.11.10:15-12:00HG E 3 »
D. Cock
263-3850-00 AInformal Methods1 hrsD. Cock