Prof. Dr. Heike Wehrheim

Pressemitteilungen mit Nennung der Person

Department für Informatik  (» Postanschrift)

https://uol.de/informatik/

Lehrveranstaltungen

Wintersemester 2021 / 2022

2.01.401 Vorlesung Grundlagen der Theoretischen Informatik |
2.01.401a Übung Grundlagen der Theoretischen Informatik |
2.01.401b Übung Grundlagen der Theoretischen Informatik |
2.01.401c Übung Grundlagen der Theoretischen Informatik |
2.01.401d Übung Grundlagen der Theoretischen Informatik |
2.01.401f Übung Grundlagen der Theoretischen Informatik |
2.01.490 Seminar Invariantengenerierung |
2.01.801-P Forschungsseminar Formale Methoden |
2.01.803 Praktikum Softwareverifikation |
2.01.803-A Praktikum Softwareverifikation |
2.01.803-B Praktikum Softwareverifikation |
2.01.AM-P Oberseminar Formale Methoden |

Weitere Seiten

Internetkoordinator (Stand: 09.06.2021)