David Alan Cock: Course units in Autumn Semester 2018 |
| Name | Dr. David Alan 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  | 4 credits | 2G + 1A | D. A. Cock | |