Korrekte Software: Grundlagen und Methoden
Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2017!
Mehr zum Inhalt der Veranstaltung findet ihr hier, oder benutzt das Menü oben zum navigieren.
Termine
Aufgrund der häufigen Feiertage am Montag im Sommersemester nehmen wir keine strenge Trennung zwischen Vorlesungs- und Übungstermine vor. Die Termine sind:
- Montags, 14-16, MZH 6210
- Donnerstags 14-16, MZH 1110
VAK und weitere Daten
- Die VAK der Veranstaltung ist 03-BB-699.08.
- Wahlbereich ist Bachelor-Basis (BB) - Theoretische Informatik und Mathematik
- Die Veranstaltung hat einem Umfang von 6 ECTS.