Inhalt des Dokuments
zur Navigation
MINF-VS-TempLogSoft
| Parameter | Wert |
|---|---|
| Name | MINF-VS-TempLogSoft |
| Veranstaltungen | Temporallogik für Softwareingenieure |
| LP / SWS | 6 / 4 IV |
| Semester | wird momentan nicht angeboten |
| Prüfungsäquivalente Studienleistungen | 20% Hausaufgaben 40% Vortrag 40% mündliche Rücksprache Die Teilleistungen sind kompensierbar. |
| Modulanmeldung | wird momentan nicht angeboten |
| Material | Leslie Lamport: Specifying Systems (Textbook) [pdf] |