263-2910-00L  Program Analysis and Synthesis

Semester Spring Semester 2017
Lecturers M. Vechev
Periodicity yearly course
Language of instruction English


Number Title Hours Lecturers
263-2910-00 V Program Analysis and Synthesis 3 hrs
Mon 13-16 CAB G 51 »
M. Vechev
263-2910-00 U Program Analysis and Synthesis 2 hrs
Tue 13-15 CHN F 46 »
M. Vechev