Master-Praktikum - Verification of Automata Constructions (IN2106, IN8904, IN4143)
Practical Course - Verification of Automata Constructions (IN2106, IN8904, IN4143)
Lehrveranstaltung 0000000583 im WS 2012/3
Basisdaten
LV-Art | Praktikum |
---|---|
Umfang | 6 SWS |
betreuende Organisation | Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow) |
Dozent(inn)en | |
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 | |
---|---|
Links | TUMonline-Eintrag |