Alexander John Summers: Lehrveranstaltungen im Frühjahrssemester 2019

NameHerr Dr. Alexander John Summers
E-Mailalexander.summers@inf.ethz.ch
DepartementInformatik
BeziehungDozent

NummerTitelECTSUmfangDozierende
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen
Maximale Teilnehmerzahl: 30.
5 KP2V + 1U + 1A
263-2812-00 VProgram Verification2 Std.
Mi09:15-11:00CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 Std.
Mi11:15-12:00CAB G 52 »
A. J. Summers
263-2812-00 AProgram Verification1 Std.A. J. Summers