263-4630-00L Computer-Aided Modelling and Reasoning
Semester | Autumn Semester 2014 |
Lecturers | A. Lochbihler, C. Sprenger |
Periodicity | yearly recurring course |
Language of instruction | English |
Comment | In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum. |
Programme | Section | Type | |
---|---|---|---|
Computer Science Master | Focus Elective Courses Software Engineering | W | |
Computer Science Master | Focus Elective Courses Information Security | W |