Search result: Course units in Spring Semester 2019
|Computer Science Master|
|Focus Courses in Software Engineering|
|Focus Elective Courses Software Engineering|
|263-2300-00L||How To Write Fast Numerical Code |
Number of participants limited to 84.
Prerequisite: Master student, solid C programming skills.
Takes place the last time in this form.
|W||6 credits||3V + 2U||M. Püschel|
|263-2812-00L||Program Verification |
Number of participants limited to 30.
|W||5 credits||2V + 1U + 1A||A. J. Summers|
|263-4630-00L||Computer-Aided Modelling and Reasoning |
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.
|W||8 credits||7P||C. Sprenger, D. Traytel|
- Page 1 of 1