Selaat menneen lukuvuoden (2019–2020) opintotietoja.
Haluatko vaihtaa kuluvaan lukuvuoteen?
Opetustarjonta, lukuvuosi 2019–2020
Introduction to Formal Specification, Luento-opetus
Luento-opetus (englanti)
21.10.2019 – 20.12.2019
Aktiivinen periodissa 2 (21.10.2019–31.12.2019)
Suoritustapa
Osallistuminen opetukseenOpetuskieli
englantiVastuuorganisaatio
Informaatioteknologian ja viestinnän tiedekunta
Vastuuhenkilö
Vastuuopettaja:
Tomi JanhunenIlmoittautuminen
Ilmoittautuminen NettiOpsussaPääasiallinen opintojakso