Opintojakso, lukuvuosi 2023–2024
COMP.CS.420
Introduction to Formal Specification, 5 op
Tampereen yliopisto
- Kuvaus
- Suoritustavat
- Suoritustapa 1
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
Introduction to Formal Specification (Tentti), englanti
Tyyppi
TenttiOpetuskieli
englantiLaajuus
5 opArvosteluasteikko
Yleinen asteikko, 0-5Vastuuorganisaatio
Informaatioteknologian ja viestinnän tiedekunta 100 %
Järjestävä organisaatio
Tietotekniikan opetus 100 %
Ohjelmassa oleva opetus
Toteutus
Introduction to Formal Specification, Exam
Tentti
12.12.2023 – 12.12.2023
Aktiivinen periodissa 2 (23.10.2023–31.12.2023)
Keskusta 12.12.2023 klo 17.00-20.00
Keskusta 12.12.2023 klo 17.00-20.00Sijainti
Keskusta 12.12.2023 klo 17.00-20.00
Sijainti
Ti 12.12.2023
Mennyt tapahtuma
17:00–20:00
3 tuntia
Toteutus
Introduction to Formal Specification, Exam
Tentti
24.1.2024 – 24.1.2024
Aktiivinen periodissa 3 (1.1.2024–3.3.2024)
Toteutus
Introduction to Formal Specification, Exam
Tentti
29.2.2024 – 29.2.2024
Aktiivinen periodissa 3 (1.1.2024–3.3.2024)