Sebastian Nanz: Lehrveranstaltungen im Herbstsemester 2014

NameHerr Dr. Sebastian Nanz
URLhttp://se.inf.ethz.ch/people/nanz/
DepartementInformatik
BeziehungDozent

NummerTitelECTSUmfangDozierende
252-0239-00LSoftware Verification6 KP3V + 2U
252-0239-00 VSoftware Verification
A few of the Wednesday classes (1 hour, 15-16) are given by guest speakers on a research topic related to the content of the preceding Monday class.
3 Std.
Mo10:15-12:00RZ F 21 »
Mi14:15-15:00RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz
252-0239-00 USoftware Verification2 Std.
Mi15:15-17:00RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz