263-4630-00L  Computer-Aided Modelling and Reasoning

SemesterAutumn Semester 2018
Lecturersto be announced
Periodicityyearly recurring course
CourseDoes not take place this semester.
Language of instructionEnglish
CommentTakes place next spring semester (SS19).

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.

263-4630-00 PComputer-Aided Modelling and Reasoning
Does not take place this semester.
7 hrsto be announced