Modelle und Theorie Verteilter Systeme
Reaktive Systeme
| Niveau | Bachelor, Semester 4, Wahlpflicht in Informat |
|---|---|
| Vorkenntnisse | Formale Sprachen und Automaten sowie Logik erwünscht |
| LP | 6 |
| Bestandteile | 2 SWS VL "Reaktive Systeme", 2 SWS UE "Reaktive Systeme" |
| Semester | Wintersemester |
| Prüfungsform | Mündliche Prüfung |
| Details | Modulbeschreibung |
| Material | Formelsammlung zum Buch |