Korrekte Software: Grundlagen und Methoden
Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2018!
Mehr zum Inhalt der Veranstaltung findet ihr hier, oder benutzt das Menü oben zum navigieren.
Termine
Die Termine sind:
- Vorlesung: Dienstag, 12-14, MZH 6210
- Übung: Donnerstag, 12-14, MZH 1110 (Achtung, Terminverschiebung.)
Die Übung am Do, 05.07.2018, fällt aus!
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.