David Cock: Courses in Autumn Semester 2020

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
URLhttp://research.davidcock.fastmail.fm
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
263-3850-00LInformal Methods Information 5 credits2G + 2A
263-3850-00 GInformal Methods2 hrs
Thu14:15-16:00CAB G 51 »
D. Cock
263-3850-00 AInformal Methods2 hrsD. Cock