TU Wien:Computer-Aided Verification UE (Cerny)

Daten

Vortragende	Pavol Cerny• Alexander Pluska
ECTS	3,0
Letzte Abhaltung	2024S
Sprache	English
Abkürzung	CAV
Mattermost	computer-aided-verification • Register • Mattermost-Infos
Links	tiss:181144

Zuordnungen

Masterstudium Logic and Computation	Modul Programming Languages and Verification (Gebundenes Wahlfach)
Masterstudium Software Engineering & Internet Computing (veraltet)	Modul Formale Methoden und Theoretische Informatik (Gebundenes Wahlfach)
Masterstudium Technische Informatik	Modul Computer-Aided Verification (Gebundenes Wahlfach)
Masterstudium Technische Informatik	Modul Computer-Aided Verification (Pflichtfach)

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

Highlights / Lob

noch offen

Verbesserungsvorschläge / Kritik

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.