From 2 November 2020, the autumn semester 2020 will take place online. Exceptions: Courses that can only be carried out with on-site presence.
Please note the information provided by the lecturers via e-mail.

David Cock: Courses in Autumn Semester 2018

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

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