263-2812-00L  Program Verification

SemesterFrühjahrssemester 2018
DozierendeA. J. Summers
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch
KommentarMaximale Teilnehmerzahl: 30.


NummerTitelUmfangDozierende
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