TU Wien:Programm- und Systemverifikation VU (Weissenbacher)
Jump to navigation
Jump to search
Similarly named LVAs (Resources):
- Programm- und Systemverifikation VU (Weissenbacher) (TU Wien, 0 Resources)
- Programm- und Systemverifikation VU (diverse) (TU Wien, 22 Resources)
Daten[edit]
| Lecturers | Georg Weissenbacher |
|---|---|
| ECTS | 6 |
| Alias | Program and System Verification (en) |
| When | summer semester |
| Last iteration | 2021SS |
| Language | English |
| Abbreviation | PSV |
| Links | tiss:184741 , Mattermost-Channel |
| Bachelor Technische Informatik | Pflichtmodul Programm- und Systemverifikation |
| Bachelor Software & Information Engineering | Wahlmodul Programm- und Systemverifikation |
Inhalt[edit]
noch offen, bitte nicht von tiss oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Ablauf[edit]
noch offen
Benötigte/Empfehlenswerte Vorkenntnisse[edit]
noch offen
Vortrag[edit]
noch offen
Übungen[edit]
noch offen
Prüfung, Benotung[edit]
noch offen
Dauer der Zeugnisausstellung[edit]
noch offen
Zeitaufwand[edit]
noch offen
Unterlagen[edit]
noch offen
Tipps[edit]
noch offen
Verbesserungsvorschläge / Kritik[edit]
noch offen