Sebastian Nanz: Lehrveranstaltungen im Herbstsemester 2014 |
Name | Herr Dr. Sebastian Nanz |
URL | http://se.inf.ethz.ch/people/nanz/ |
Departement | Informatik |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|
252-0239-00L | Software Verification | 6 KP | 3V + 2U | ||||||||
252-0239-00 V | Software 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. |
| B. Meyer, C. A. Furia, S. Nanz | |||||||
252-0239-00 U | Software Verification | 2 Std. |
| B. Meyer, C. A. Furia, S. Nanz |