Deutschland » Nordrhein-Westfalen » RWTH Aachen » Informatik » Prof. Dr. Thomas » Kurse
Prof. Dr. Wolfgang Thomas
Lehrveranstaltungen von Prof. Dr. Wolfgang Thomas
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Angewandte Automatentheorie Vorlesung + Übung/Tutorium |
4 SWS | - | 2 |
| Automaten und Reaktive Systeme Vorlesung + Übung/Tutorium |
4 SWS | - | 2 |
| Model-Checking Vorlesung + Übung/Tutorium |
2 SWS | - | 1 |
| Seminar Automatentheorie Seminar |
2 SWS | - | 1 |
