Deutschland » Baden-Württemberg » Uni Stuttgart » Informatik » Dr. König » Kurse
Dr. Barbara König
Dies ist Ihr Profil? Informieren Sie sich über die Registrierung oder melden Sie sich gleich an.
Dr.
Barbara
König
Informatik
Uni Stuttgart
Lehrveranstaltungen von Dr. Barbara König
Veranstaltung | Umfang | Beschreibung | Bewertungen |
---|---|---|---|
Automatische Analyse und Verifikation von Programmen Vorlesung + Übung/Tutorium |
3 SWS | - | 1 |
Einführung in die Informatik 3 Vorlesung + Übung/Tutorium |
5 SWS | - | 2 |