TU Wien:Formale Methoden der Informatik UE (Dvorak)
Jump to navigation
Jump to search
Similarly named LVAs (Resources):
- Formale Methoden der Informatik UE (Dvorak) (TU Wien, 0 Resources)
- Formale Methoden der Informatik UE (Kovacs) (TU Wien, 1 Resource)
- Formale Methoden der Informatik UE (Lackner) (TU Wien, 0 Resources)
- Formale Methoden der Informatik UE (Woltran) (TU Wien, 0 Resources)
- Formale Methoden der Informatik VU (Egly) (TU Wien, 41 Resources)
Daten[edit | edit source]
Lecturers | Florian Zuleger• Wolfgang Dvorak• Jens Pagel• Thanh Hai Tran• Laura Kovacs• Uwe Egly |
---|---|
ECTS | 3 |
Alias | Formal Methods in Computer Science (en) |
When | winter semester |
Last iteration | 2019WS |
Language | "if required in english" was not recognized as a supported language code. |
Abbreviation | FMI |
Links | tiss:185A93 |
Inhalt[edit | edit source]
noch offen, bitte nicht von tiss oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Ablauf[edit | edit source]
noch offen
Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]
noch offen
Vortrag[edit | edit source]
noch offen
Übungen[edit | edit source]
noch offen
Prüfung, Benotung[edit | edit source]
noch offen
Dauer der Zeugnisausstellung[edit | edit source]
noch offen
Zeitaufwand[edit | edit source]
noch offen
Unterlagen[edit | edit source]
noch offen
Tipps[edit | edit source]
noch offen
Verbesserungsvorschläge / Kritik[edit | edit source]
noch offen