TU Wien:Formale Methoden der Informatik UE (Dvorak)

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

Daten[edit]

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 , Mattermost-Channel
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]

noch offen, bitte nicht von tiss oder Homepage kopieren, sondern aus Studierendensicht beschreiben.

Ablauf[edit]

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse[edit]

noch offen

Vortrag[edit]

noch offen

Übungen[edit]

noch offen

Prüfung, Benotung[edit]

noch offen

Dauer der Zeugnisausstellung[edit]

noch offen

Zeitaufwand[edit]

noch offen

Unterlagen[edit]

noch offen

Tipps[edit]

noch offen

Verbesserungsvorschläge / Kritik[edit]

noch offen

Attachments

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