582301
Algoritmien oikeellisuus ja johtaminen
Verifiering och derivering av algoritmer
Verification and Derivation of Algorithms
Toistuminen
Ei tarjota
Tulevat erilliskokeet
Ei kokeita.
Kurssisivut
Ei kursseja.