Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehre:wise2021 [2020/09/30 10:24] henn Vorlesung FMSS hinzugefügt |
lehre:wise2021 [2020/09/30 10:25] henn |
||
---|---|---|---|
Zeile 20: | Zeile 20: | ||
=== Master === | === Master === | ||
- | [[:lehre:wise1920:formale_methoden_fuer_steuerungssoftware]] | + | [[:lehre:wise2021:formale_methoden_fuer_steuerungssoftware]] |
* Vorlesung (V2/Ü2) | * Vorlesung (V2/Ü2) | ||
* ECTS: 6 | * ECTS: 6 | ||
* Betreuer [[:lehrstuhl:mitarbeiter:henn]], [[:lehrstuhl:mitarbeiter:voelker]] | * Betreuer [[:lehrstuhl:mitarbeiter:henn]], [[:lehrstuhl:mitarbeiter:voelker]] | ||
+ | \\ | ||
[[:lehre:wise2021:seminar]] | [[:lehre:wise2021:seminar]] | ||
* Seminar | * Seminar |