263-2910-00L  Program Analysis and Synthesis

SemesterFrühjahrssemester 2017
DozierendeM. Vechev
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


NummerTitelUmfangDozierende
263-2910-00 VProgram Analysis and Synthesis3 Std.
Mo13:15-16:00CAB G 51 »
M. Vechev
263-2910-00 UProgram Analysis and Synthesis2 Std.
Di13:15-15:00CHN F 46 »
M. Vechev