TU Wien:Seminar Formale Methoden SE (diverse)

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

Daten[edit | edit source]

Lecturers Laura Kovacs, Georg Weissenbacher, Florian Zuleger
ECTS 3
Department Logic and Computation
When winter and summer semester
Language English
Links tiss:181221
Zuordnungen
Master Embedded Systems Wahlmodul Formale Methoden - Vertiefung
Master Logic and Computation Wahlmodul Programming Languages and Verification
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik

Mattermost: Channel "seminar-formale-methoden"RegisterMattermost-Infos

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.