Modul 23-LIN-BaLin4.1 Formale Methoden

Formale Methoden (Seminar o. Vorlesung)

Belegnr Lehrende*r Thema Art Termine Mein eKVV
230009 Michaelis   Formale Methoden V Mi 14-16 in H10 [07.10.2024-31.01.2025]

Formale Methoden: Übung (Übung)

Belegnr Lehrende*r Thema Art Termine Mein eKVV
230010 Michaelis, Kröker, Weis   Formale Methoden: Übung Ü Mo 16-18 in U2-200 [07.10.2024-31.01.2025]
Fr 8-10 in U2-229 [07.10.2024-31.01.2025]
Mo 16-18 in U2-200 [03.02.2025]
Fr 8-10 in U2-200 [07.02.2025]