Modelle und Theorie Verteilter Systeme

Reaktive Systeme

NiveauB.Sc. Informatik; 4. Fachsemester; Wahlpflicht
VorkenntnisseErwünscht: "Formale Sprachen und Automaten" und "Logik"
Leistungspunkte nach ECTS6 LP
Bestandteile2 SWS Vorlesung "Reaktive Systeme"
2 SWS Übung "Reaktive Systeme"
SemesterWintersemester
PrüfungsformMündliche Prüfung
DetailsModulbeschreibung
MaterialFormelsammlung zum Buch
ISIS-Kurs35236