Selaat menneen lukuvuoden (2019–2020) opintotietoja.
Haluatko vaihtaa kuluvaan lukuvuoteen?
Opintojakso, lukuvuosi 2019–2020
TIETS14
Introduction to Formal Specification, 5 op
Tampereen yliopisto
- Kuvaus
- Suoritustavat
- Suoritustapa 1
Introduction to Formal Specification (Osallistuminen opetukseen), englanti
Tyyppi
Osallistuminen opetukseenOpetuskieli
englantiLaajuus
5 opArvosteluasteikko
Yleinen asteikko, 0-5Vastuuorganisaatio
Informaatioteknologian ja viestinnän tiedekunta 100 %
Ohjelmassa oleva opetus
Toteutus
Introduction to Formal Specification, Luento-opetus
Luento-opetus (englanti)
21.10.2019 – 20.12.2019
Aktiivinen periodissa 2 (21.10.2019–31.12.2019)
Enrolment in NettiOpsu