Veranstaltungen
ÜbungFormale Methoden des Software Engineering | |||
---|---|---|---|
Name im Diploma Supplement | Formal Methods in Software Engineering | ||
Anbieter | Lehrstuhl für Spezifikation von Softwaresystemen (http://www.s3.uni-due.de/) | ||
Lehrperson | Prof. Dr. Michael Goedicke | ||
SWS | 2 | Sprache | deutsch |
Turnus | Wintersemester | maximale Hörerschaft | unbeschränkt |
empfohlenes Vorwissensiehe Vorlesung LehrinhalteVertiefende Aufgaben und Beispiele zum Stoff der Vorlesung. LiteraturangabenSiehe Literaturangaben der Vorlesung. Hörerschaft
| |||
WIWI‑C0324 - Übung: Formale Methoden des Software Engineering |