Sebastian Nanz: Lerneinheiten im Herbstsemester 2015

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

NummerTitelECTSUmfangDozierende
252-0239-00LSoftware Verification6 KP3V + 2UB. Meyer, C. A. Furia, S. Nanz