x !
Arkistoitu opetussuunnitelma 2010–2011
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
TKOPS148 Johdatus formaaliin spesifiointiin 5–8 op
Vastuutaho
Tietojenkäsittelyoppi
Suunnitellut järjestämisajankohdat
Periodi I II III IV
2010–2011 X

Toteutustavat

Opetustapa Paikalla Verkossa
Luento-opetus
Pienryhmäopetus

Opetuskieli

englanti

Vaadittavat opintosuoritukset

Arviointi

Numerolla 1-5.

Kokonaisuudet johon opintojakso kuuluu

Tietojenkäsittelytieteiden laitos
Loput pakollisista valitaan näistä opintojaksoista (Tietojenkäsittelyoppi)
2010–2011
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
I Periodi II Periodi III Periodi IV Periodi
TKOPS148 Introduction to Formal Specifications
Tietojenkäsittelytieteiden laitos