Deutschland » Hessen » TU Darmstadt » Informatik » Prof. Dr. Walther » Kurse
Prof. Dr. Christoph Walther
Lehrveranstaltungen von Prof. Dr. Christoph Walther
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Berechenbarkeitstheorie Vorlesung + Übung/Tutorium |
3 SWS | - | 8 |
| Formale Grundlagen der Informatik 3 Vorlesung + Übung/Tutorium |
4 SWS | - | 17 |
| Semantik und Programmverifikation Vorlesung + Übung/Tutorium |
6 SWS | - | 1 |
