David Cock: Courses in Autumn Semester 2022 |
| 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 | |||||
| 263-3850-00 G | Informal Methods | 2 hrs |
| D. Cock | ||||
| 263-3850-00 A | Informal Methods | 2 hrs | D. Cock | |||||