Search result: Course units in Spring Semester 2023
Computer Science Master  | ||||||
 Minors | ||||||
| Minor in Programming Languages and Software Engineering | ||||||
| Number | Title | Type | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|---|
| 263-2812-00L | Program Verification  | W | 5 credits | 3G + 1A | P. Müller, M. Eilers | |
| 263-2815-00L | Automated Software Testing Last cancellation/deregistration date for this graded semester performance: 17 March 2023! Please note that after that date no deregistration will be accepted and the course will be considered as "fail". | W | 7 credits | 2V + 1U + 3A | Z. Su | |
| 263-2925-00L | Program Analysis for System Security and Reliability Does not take place this semester. | W | 7 credits | 2V + 1U + 3A | M. Vechev | |
| 263-4600-00L | Formal Methods for Information Security Does not take place this semester. | W | 5 credits | 2V + 1U + 1A | ||
Page
1
of
1
