Introduction to Formal Specification, 5 op

Tampereen yliopisto

Kurssin suorittaminen edellyttää, että automaattisesti arvioitavista tehtävistä on saatu riittävästi pisteitä sekä tentti on suoritettu hyväksytysti.

Kaikkien osuuksien suorittaminen on pakollista.

Introduction to Formal Specification (Osallistuminen opetukseen), englanti

Tyyppi

Osallistuminen opetukseen

Opetuskieli

englanti

Laajuus

0 op

Arvosteluasteikko

Hylätty-Hyväksytty

Vastuuorganisaatio

Informaatioteknologian ja viestinnän tiedekunta 100 %

Järjestävä organisaatio

Tietotekniikan opetus 100 %

Toteutus

Luento-opetus (englanti)

24.10.2023 – 8.12.2023

Oppimisympäristöt