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

SemesterSpring Semester 2019
LecturersC. Sprenger, D. Traytel
Periodicityyearly recurring course
Language of instructionEnglish
CommentIn 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.


NumberTitleHoursLecturers
263-4630-00 PComputer-Aided Modelling and Reasoning7 hrs
Fri09:15-13:00HG G 26.3 »
C. Sprenger, D. Traytel