Korrekte Software: Grundlagen und Methoden
Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2019!
Mehr zum Inhalt der Veranstaltung findet ihr hier, oder benutzt das Menü oben zum navigieren.
Termine
Die Termine sind:
- Vorlesung: Dienstag, 12-14, MZH 1100
- Übung: Donnerstag, 12-14, MZH 1450
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.