David Cock: Lehrveranstaltungen im Herbstsemester 2018

NameHerr Dr. David Cock
Adresse
Institut für Computing Platforms
ETH Zürich, CAB E 77.1
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 66 49
E-Maildavid.cock@inf.ethz.ch
DepartementInformatik
BeziehungDozent

NummerTitelECTSUmfangDozierende
263-3850-00LInformal Methods Information 4 KP2G + 1A
263-3850-00 GInformal Methods2 Std.
Do10-12CAB G 56 »
15.11.10-12HG E 3 »
D. Cock
263-3850-00 AInformal Methods1 Std.D. Cock