Prof. Dr. Christoph Walther
Daten:
Dozentenprofile: 1
Veranstaltungen: 3
Bewertungen: 26
Publikationen: 0
Alle Dozentenprofile von Prof. Dr. Christoph Walther (1)
| Profil an der ... | Kurse | Bewertungen |
|---|---|---|
| TU Darmstadt Prof. Dr. Christoph Walther (M) Informatik |
3 | 27 |
Alle Veranstaltungen von Prof. Dr. Christoph Walther (3)
| Titel | Profil an der ... | Typ | Umfang | Bewertungen |
|---|---|---|---|---|
| Formale Grundlagen der Informatik 3 | TU Darmstadt | Vorlesung + Übung/Tutorium | 4 SWS | 17 |
| Berechenbarkeitstheorie | TU Darmstadt | Vorlesung + Übung/Tutorium | 3 SWS | 8 |
| Semantik und Programmverifikation | TU Darmstadt | Vorlesung + Übung/Tutorium | 6 SWS | 1 |
