TU Wien:Seminar Formale Methoden SE (Zuleger)

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

Daten[edit]

Lecturers Katalin FazekasLaura KovacsMichael RawsonGeorg WeissenbacherFlorian Zuleger
ECTS 3
Alias Seminar Formal Methods (en)
When winter semester
Last iteration 2022WS
Language English
Mattermost seminar-formale-methodenRegisterMattermost-Infos
Links tiss:181221
Zuordnungen
Master Logic and Computation Wahlmodul Programming Languages and Verification
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik


Inhalt[edit]

noch offen, bitte nicht von TISS/u:find 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.