Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en

Praktikum - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)
Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)

Lehrveranstaltung 0000002426 im SS 2022

Basisdaten

LV-Art Praktikum
Umfang 6 SWS
betreuende Organisation Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
Dozent(inn)en Julian Erhard
Michael Schwarz
Leitung/Koordination: Helmut Seidl
Termine 1 einzelner oder verschobener Termin

Zuordnung zu Modulen

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

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

SemesterTitelDozent(en)Termine
WS 2023/4 Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) Erhard, J. Schwarz, M.
Leitung/Koordination: Seidl, H.
Do, 13:00–15:00, MI 02.07.014
sowie einzelne oder verschobene Termine
SS 2023 Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) Erhard, J. Schwarz, M.
Leitung/Koordination: Seidl, H.
einzelne oder verschobene Termine
WS 2022/3 Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) Erhard, J. Schwarz, M.
Leitung/Koordination: Seidl, H.
einzelne oder verschobene Termine
SS 2021 Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) Erhard, J. Schwarz, M.
Leitung/Koordination: Seidl, H.
einzelne oder verschobene Termine
Nach oben