Moses - Modul 40278

Aktuelle Modulbeschreibung (SoSe 2025)

Im aktuellen Semester gilt keine freigegeben Modulbeschreibung. Das bedeutet, dass das Modul entweder nicht mehr oder noch nicht angeboten wird. Im Abschnitt Modulbeschreibungen finden Sie weitere Informationen zur Gültigkeit einzelner Modulbeschreibungen des Moduls.

Zugehörigkeit

Fakultät:
Fakultät IV

Institut:
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet:
34351800 FG Software and Embedded Systems Engineering (SESE)

Prüfungsausschuss:
Keinem Prüfungsausschuss zugeordnet

Kontakt

Sekretariat:
TEL 12-4

Ansprechpartner*in:
Klös, Verena

E-Mailaddresse:
lehre@sese.tu-berlin.de

Webseite:

http://www.sese.tu-berlin.de/

Modulbeschreibungen

Die Modulbeschreibungen können sich im Laufe der Zeit ändern. Um die Änderungen transparent und nachvollziehbar darzustellen, werden die Modulbeschreibungen versioniert und gelten je nach Freigabe für verschiedene Semester(zeiträume). Im Normalfall sollte es nur eine freigegebene Version für ein Semester geben. Dieses Modul enthält 3 freigegebene Modulbeschreibungen. Alle nicht mehr oder noch nicht gültigen Modulbeschreibungen sind ausgegraut.

Modultitel	LP	Benotung	Verantwortliche*r	Sprache(n)	Gültig ab	Gültig bis einschl.
Applied Verification of C-Programs	3	Benotet	Glesner, Sabine	de	SoSe 2022	SoSe 2024
Applied Verification of C-Programs	3	Benotet	Glesner, Sabine	de	SS 2017	WiSe 2021/22
Verifikation von C-Programmen in der Praxis	3	Benotet	Glesner, Sabine	de	SS 2016	WS 2016/17