Inhalt des Dokuments
zur Navigation
Modul: MINF-VS-VeriSynth
| Parameter | Wert |
|---|---|
| Bestandteile | 2SE "Modelle und Analyse Nebenläufiger Systeme" 4PJ "Halbautomatische Verifikation und Synthese Nebenläufiger Algorithmen" |
| LP | 9 |
| Semester | Jedes SoSe |
| Prüfungsform | Prüfungsäquivalente Studienleistungen |
| Material | ... |