TU Wien:Seminar Formale Methoden SE (diverse)

Aus VoWi
Wechseln zu: Navigation, Suche

Daten[Bearbeiten]

Vortragende Laura Kovacs, Georg Weissenbacher, Florian Zuleger
ECTS 3
Abteilung Logic and Computation
Wann Winter- und Sommersemester
Sprache English
Links TISS
Zuordnungen
M. Embedded Systems Wahlmodul Formale Methoden - Vertiefung
M. Logic and Computation Wahlmodul Programming Languages and Verification
M. Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik


Mattermost: Channel "seminar-formale-methoden" Team invite & account creation link Mattermost-Infos

Inhalt[Bearbeiten]

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

Ablauf[Bearbeiten]

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]

noch offen

Vortrag[Bearbeiten]

noch offen

Übungen[Bearbeiten]

noch offen

Prüfung, Benotung[Bearbeiten]

noch offen

Dauer der Zeugnisausstellung[Bearbeiten]

noch offen

Zeitaufwand[Bearbeiten]

noch offen

Unterlagen[Bearbeiten]

noch offen

Tipps[Bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen