2 of 2 courses
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×12Mo 10:30-12:00AH I (2350|028)×1Mo 10:30-12:00AH VI (2356|051)×13Di 08:30-10:00AH I (2350|028)×12Mi 10:15-11:00AH II (2350|111) | |
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×13Mo 16:30-18:00AH IV (2354|030)×14Di 12:30-14:00AH V (2356|050) |