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

SemesterAutumn Semester 2014
LecturersA. Lochbihler, C. Sprenger
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.


ProgrammeSectionType
Computer Science MasterFocus Elective Courses Software EngineeringWInformation
Computer Science MasterFocus Elective Courses Information SecurityWInformation