|
|
|
|
|
Modulhandbuch Modulliste (Bachelor) - Modulliste (Master) - Modulkataloge - Personalisierter Modulkatalog - Impressum - Feedback Login mit OpenID
Modulnummer |
|
Modulbezeichnung |
Formale Methoden der Softwaretechnik (deleted:Tue Mar 20 16:42:56 +0100 2018) |
Titel (englisch) |
|
Pflicht/Wahl |
Pflicht |
Erklärung |
|
CP |
6 |
Berechnung des Workloads |
|
Turnus |
unregelmäßig |
Dauer |
ein Semester |
Form |
4 SWS K |
Prüfung |
i.d.R. Übungsaufgaben und Fachgespräch oder mündliche Prüfung |
Anforderungen |
Keine |
Lernziele |
|
Lerninhalte |
|
Quellen |
|
Sprache |
Deutsch |
Bemerkung |
|
Zuletzt geändert |
2018-03-20 15:42:56 UTC |
Zeige Systems Engineering-Format Wirtschaftsinformatik-Format Informatik-Format Digitale Medien-Format