Das Frühjahrssemester 2021 findet sicher bis Ostern online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind. Bitte beachten Sie die Informationen der Dozierenden.

Dmitriy Traytel: Lerneinheiten im Frühjahrssemester 2019

NameHerr Dr. Dmitriy Traytel
Adresse
Institut f. Informationssicherheit
ETH Zürich, CNB F 107.2
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 30 23
E-Mailtraytel@inf.ethz.ch
URLhttp://people.inf.ethz.ch/trayteld
DepartementInformatik
BeziehungDozent

NummerTitelECTSUmfangDozierende
252-0058-00LFormal Methods and Functional Programming Information 7 KP4V + 2UD. Basin, P. Müller, D. Traytel
263-4630-00LComputer-Aided Modelling and Reasoning Information
In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.
8 KP7PC. Sprenger, D. Traytel