Sebastian Nanz: Lerneinheiten im Herbstsemester 2014

NameHerr Dr. Sebastian Nanz
Adresse
Schlösslistrasse 39
3008 Bern
SWITZERLAND
URLhttp://se.inf.ethz.ch/people/nanz/
DepartementInformatik
BeziehungDozent

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