Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035)
Practical Course - Spezifikation und Verifikation (IN0012, IN2106, IN4035)
Lehrveranstaltung 0000005209 im WS 2022/3
Basisdaten
LV-Art | Praktikum |
---|---|
Umfang | 6 SWS |
betreuende Organisation | Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow) |
Dozent(inn)en |
Tobias Nipkow Simon Roßkopf |
Termine |
Zuordnung zu Modulen
-
IN2106: Master-Praktikum / Advanced Practical Course
Dieses Modul ist in den folgenden Katalogen enthalten:- weitere Module aus anderen Fachrichtungen
weitere Informationen
Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).
ergänzende Hinweise | vgl. Modulbeschreibung IN2106 und Webseite |
---|---|
Links |
LV-Unterlagen TUMonline-Eintrag |