Studienhandbuch | KV Formal methods in software development

Inhalt

Workload	Education level	Study areas	Responsible person	Hours per week	Coordinating university
6 ECTS	M1 - Master's programme 1. year	Mathematics	Wolfgang Schreiner	4 hpw	Johannes Kepler University Linz

Detailed information
Original study plan	Master's programme Computer Mathematics 2012W
Criteria for evaluation
Changing subject?	No

On-site course
Maximum number of participants	-
Assignment procedure	Direct assignment