Deutschland » Bayern » Uni München » Informatik » Prof. Dr. Knapp » Kurse
Prof. Dr. Alexander Knapp
Dies ist Ihr Profil? Informieren Sie sich über die Registrierung oder melden Sie sich gleich an.
Prof. Dr.
Alexander
Knapp
Informatik
Uni München
Lehrveranstaltungen von Prof. Dr. Alexander Knapp
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Modelchecking Praktikum |
4 SWS | - | 1 |
| Semantik von Programmiersprachen Vorlesung + Übung/Tutorium |
5 SWS | - | 1 |
