TU Wien:Computer-Aided Verification UE (Cerny)

Daten

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

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.