Korrekte Software: Grundlagen und Methoden
Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2024!
In dieser Veranstaltung geht es um die Grundlagen und Techniken, die benötigt werden, um korrekte Software zu schreiben. Mehr zum Inhalt hier.
Interessiert?
Wer an der Veranstaltung teilnehmen möchte, trage sich bitte in die stud.ip-Teilnehmerliste ein. Die Kommunikation außerhalb der Veranstaltungstermine wird schwerpunktmäßig über die Mailingliste in stud.ip stattfinden.
Termine
Die Termine und Räume sind:
- Mittwoch, 10-12, MZH 5600.
- Donnerstag, 10-12, MZH 5600.
VAK und weitere Daten
- Die VAK der Veranstaltung ist 03-IBAT-KS (03-BB-699.08).
- Wahlbereich ist Bachelor-Basis (BB) - Theoretische Informatik und Mathematik
- Die Veranstaltung hat einem Umfang von 6 ECTS.