TU Wien:Computer-Aided Verification UE (Cerny)

From VoWi
Jump to navigation Jump to search
Similarly named LVAs (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
Zuordnungen
Master Logic and Computation Wahlmodul Programming Languages and Verification
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik
Master Technische Informatik Wahlmodul Computer-Aided Verification
Master Technische Informatik Wahlmodul Computer-Aided Verification


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

Attachments

This page has no attachments yet but you can add some.
Retrieved from "https://vowi.fsinf.at/wiki?title=TU_Wien:Computer-Aided_Verification_UE_(Cerny)&oldid=142115"