TU Wien:Seminar Formale Methoden SE (Weissenbacher)
Jump to navigation
Jump to search
Similarly named LVAs (Resources):
- Seminar Formale Methoden SE (Weissenbacher) (TU Wien, 0 Resources)
- Seminar Formale Methoden SE (Zuleger) (TU Wien, 0 Resources)
- Seminar Formale Methoden SE (diverse) (TU Wien, 0 Resources)
Daten[edit | edit source]
| Lecturers | Pavol Cerny• Daniela Kaufmann• George James Kenison• Laura Kovacs• Georg Weissenbacher• Florian Zuleger |
|---|---|
| ECTS | 3 |
| Alias | Seminar Formal Methods (en) |
| When | summer semester |
| Last iteration | 2023SS |
| Language | English |
| Mattermost | seminar-formale-methoden • Register • Mattermost-Infos |
| Links | tiss:181221 |
| Master Logic and Computation | Wahlmodul Programming Languages and Verification |
| Master Software Engineering & Internet Computing | Wahlmodul Formale Methoden und Theoretische Informatik |
Inhalt[edit | edit source]
noch offen, bitte nicht von TISS/u:find 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