Christoph Sprenger: Lerneinheiten im Frühjahrssemester 2022

NameHerr Dr. Christoph Sprenger
Adresse
Institut f. Informationssicherheit
ETH Zürich, CNB F 108
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 75 56
E-Mailsprenger@inf.ethz.ch
URLhttp://people.inf.ethz.ch/csprenge/
DepartementInformatik
BeziehungDozent

NummerTitelECTSUmfangDozierende
252-0058-00LFormal Methods and Functional Programming Information 7 KP4V + 2UP. Müller, C. Sprenger
263-4600-00LFormal Methods for Information Security Information 5 KP2V + 1U + 1AS. Krstic, R. Sasse, C. Sprenger