David Cock: Course units in Autumn Semester 2021 |
Name | Dr. David Cock |
Address | Institut für Computing Platforms ETH Zürich, STF H 313 Stampfenbachstrasse 114 8092 Zürich SWITZERLAND |
david.cock@inf.ethz.ch | |
URL | https://people.inf.ethz.ch/dcock/ |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
263-3850-00L | Informal Methods | 5 credits | 2G + 2A | D. Cock |