Formale Systeme (WS 07/08)
| Type: | Vorlesung | Links: | Homepage der Vorlesung |
|---|---|---|---|
| Lecturer: | |||
| SWS: | 3 | ||
| Exam: | Klausur, 60 Minuten |
||
| Information: | Es gibt einen Übungsbetrieb mit Übungsblättern und wöchentlichen Tutorien. Lösungen zu den Übungsblättern werden bewertet und ein Bonus für die Klausur kann erreicht werden. |
||
