The spring semester 2021 will certainly take place online until Easter. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers.

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.

Computer Science MasterFocus Elective Courses Software EngineeringWInformation
Computer Science MasterElective Focus Courses General StudiesWInformation
Computer Science MasterFocus Elective Courses Information SecurityWInformation