Inhalt

[ TMCPBKVFMSE ] KV Formale Methoden in der Software-Entwicklung

Versionsauswahl
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
6 ECTS B - Bachelor Mathematik Wolfgang Schreiner 4 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2009W
Beurteilungskriterien
Lehrinhalte wechselnd? Nein
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung