Entwicklung korrekter Systeme
Modul "Theoretische Informatik I" (3VL,1Ü)
1 Organisatorisches
| Vorlesung | E.-R. Olderog | |
| Mittwoch 8-10 | A14 1-101 (Hörsaal 1) | |
| Freitag 8-10 | A14 1-101 (Hörsaal 1) | |
| Übungen | J. Hoenicke | |
| Mo 18-20 | A4 2-221 | |
| Mo 18-20 | A6 5-531 | |
| Di 14-16 | W6 0-008 | |
| Do 8-10 | A2 2-203 | |
| Do 18-20 | A4 4-411 | |
| Fr 12-14 | A10 1-121 (Hörsaal F) | |
