Studienhandbuch | Formale Modelle und Verifikation

Inhalt

Es ist eine neuere Version 2012W dieses Fachs/Moduls im Curriculum Doktoratsstudium Technische Wissenschaften 2014S vorhanden.

Workload	Form der Prüfung	Ausbildungslevel	Studienfachbereich	VerantwortlicheR	Anbietende Uni
9 ECTS	Kumulative Fachprüfung	R - Doktorat / PhD	Informatik	Armin Biere	Johannes Kepler Universität Linz

Detailinformationen
Quellcurriculum	Doktoratsstudium Technische Wissenschaften 2009W

Untergeordnete Studienfächer, Module und Lehrveranstaltungen
SE Dissertantenseminar Informatik 1
SE Dissertantenseminar Informatik 2
SE Dissertantenseminar Informatik 3
SE Dissertantenseminar Informatik 4