TU Wien:Computer-Aided Verification UE (Cerny)
Jump to navigation
Jump to search
Similarly named LVAs (Resources):
- Computer-Aided Verification UE (Cerny) (TU Wien, 0 Resources)
- Computer-Aided Verification UE (Weissenbacher) (TU Wien, 0 Resources)
Daten[edit | edit source]
Lecturers | Sarah Sophie Sallinger• Friedrich Weber• Pavol Cerny |
---|---|
ECTS | 3 |
Alias | Computer-Aided Verification (en) |
When | summer semester |
Last iteration | 2021SS |
Language | English |
Abbreviation | CAV |
Links | tiss:181144 |
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