Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:wise2021 [2020/09/30 10:24] henn |
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 | ||