263-2910-00L Program Analysis and Synthesis
Semester | Spring Semester 2016 |
Lecturers | M. Vechev |
Periodicity | yearly recurring course |
Language of instruction | English |
Programme | Section | Type | |
---|---|---|---|
Certificate of Advanced Studies in Computer Science | Focus Courses and Electives | W | |
Computer Science Master | Focus Core Courses Software Engineering | W |