TU Wien:Formale Methoden der Informatik UE (Dvorak)

From VoWi
Jump to navigation Jump to search
Similarly named LVAs (Resources):

Daten[edit | edit source]

Lecturers Florian ZulegerWolfgang DvorakJens PagelThanh Hai TranLaura KovacsUwe 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
Zuordnungen
Master Software Engineering & Internet Computing Pflichtmodul Formal Methods in Computer Science
Master Technische Informatik Pflichtmodul Formal Methods in Computer Science
Master Logic and Computation Wahlmodul Formal Methods in Computer Science
Master Data Science Wahlmodul Freie Wahlfächer
Katalog Freie Wahlfächer - Informatik Wahlmodul Freie Wahlfächer
Katalog Freie Wahlfächer - Wirtschaftsinformatik Wahlmodul Freie Wahlfächer


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

Attachments

This page has no attachments yet but you can add some.