| Introduction to Model Checking |
B/M |
Katoen |
| Compiler Construction |
B/M |
Noll |
| Theoretical Foundations of the UML |
B/M |
Katoen |
| Probabilistic Programming (Seminar) |
B/M |
Olmedo |
| Theoretical Foundations of Programming Languages (Seminar) |
B/M |
Noll |
| Implementation of Heuristic Algorithms for Board Games (Practical Course) |
B |
Bruintjes |