TU Wien:Seminar Formale Methoden SE (diverse)

Daten

Lecturers	Laura Kovacs, Georg Weissenbacher, Florian Zuleger
ECTS	3
Department	Logic and Computation
When	winter and summer semester
Language	English
Links	tiss:181221 , Mattermost-Channel

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" • Register • 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

Attachments

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