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