Korrekte Software: Grundlagen und Methoden
Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2016!
Mehr zum Inhalt der Veranstaltung findet ihr hier, oder benutzt das Menü rechts zum navigieren.
Termine
- Vorlesung: Montags 16-18, MZH 1460
- Übung: Donnerstags 14-16, MZH 1460
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.