Lehrveranstaltungen
Zur übergeordneten Rubrik
703502
Formale Spezifikation (VO / 2h / 4 ECTS-AP)
Joanna Chimiak-Opoka
Joanna Chimiak-Opoka
703503
Einführung in Model Checking (VO / 1h / 2 ECTS-AP)
René Thiemann
René Thiemann
Hinweis:
- Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
- Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.