582301
Algoritmien oikeellisuus ja johtaminen
Verifiering och derivering av algoritmer
Verification and Derivation of Algorithms
Re-occurence
Discontinued
Upcoming separate exams
No exams.
Course pages
No courses yet.