Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Naturwissenschaften
»
Mathematik
»
Logik und Softwaredesign
Inhalt
[
TMCPBKVFMSE
]
KV
Formale Methoden in der Software-Entwicklung
Versionsauswahl
Version
2009W
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