Musterveranstaltungsseite
Vorlesung, 3-std., Mi 08:15-09:45, Do 13:15-14:00, Hofmann; Übungen 2-std., Schöpp
Aktuelles
Inhalt
In der Vorlesung werden Spezifikationsformalismen, Konzepte der Systemmodellierung, Grundtechniken für die Automatisierung der Verifikation, Typsysteme und statische Analyse eingeführt.
Organisation
- Umfang: 3+2 Semesterwochenstunden
- Voraussetzung: Grundstudiumsvorlesungen der Informatik
- Vorlesung: Prof. Dr. Martin Hofmann
- Übungen: Dr. Ulrich Schöpp, Robert Grabowski
- Tutoren: Heinz Mustertutor, Peter Mustertutor
Zeit und Ort
Veranstaltung | Zeit | Ort | Beginn |
---|---|---|---|
Vorlesung | Mi, 08:15 - 09:45 Uhr |
Hörsaal B005 (Theresienstr. 39) | 21.10.2009 |
Vorlesung | Do, 13:15 - 14:00 Uhr | Hörsaal B005 (Theresienstr. 39) | 22.10.2009 |
Übung | Do, 15:00 - 15:45 Uhr | Hörsaal 127 (Oettingenstr. 67) | 22.10.2009 |
Übung | Fr, 11:00 - 11:45 Uhr | Hörsaal 127 (Oettingenstr. 67) | 23.10.2009 |
Planung
Klausur
Weiterführende Informationen
- Forum bei die Informatiker.net
- Buch XY
Artikelaktionen