Sebastian Nanz: Courses in Autumn Semester 2014

Name Dr. Sebastian Nanz
Address
Schlösslistrasse 39
3008 Bern
SWITZERLAND
URLhttp://se.inf.ethz.ch/people/nanz/
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
252-0239-00LSoftware Verification6 credits3V + 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 hrs
Mon10-12RZ F 21 »
Wed14-15RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz
252-0239-00 USoftware Verification2 hrs
Wed15-17RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz