TU Wien:Formale Methoden der Informatik UE (Kovacs)

Ähnlich benannte Lehrveranstaltungen:

• Formale Methoden der Informatik UE (Kovacs) (TU Wien, 0 Materialien)
• Formale Methoden der Informatik VU (Egly) (TU Wien, 36 Materialien)

Daten

Vortragende	Wolfgang Dvorak, Laura Kovacs, Georg Weissenbacher, Uwe Egly
ECTS	3
Abteilung	Logic and Computation
Wann	Wintersemester
Links	TISS

Zuordnungen

M. Logic and Computation	Wahlmodul Formal Methods in Computer Science
M. Software Engineering & Internet Computing	Wahlmodul Formale Methoden und Theoretische Informatik
M. Technische Informatik	Pflichtmodul Formal Methods in Computer Science

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

Inhalt

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

Ablauf

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse

noch offen

Vortrag

noch offen

Übungen

noch offen

Prüfung, Benotung

noch offen

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

noch offen

Unterlagen

noch offen

• Materialien

Tipps

noch offen

Verbesserungsvorschläge / Kritik

noch offen