Siirry pääsisältöön
Sivupaneeli
Etusivu
Lisää
Suomi (fi)
Deutsch (de)
English (en)
Español - Internacional (es)
Finlandssvenska (sv_fi)
Français (fr)
Suomi (fi)
Svenska (sv)
Русский (ru)
Kirjaudu
Etusivu
Etusivu
Kurssit
Opintojaksototeutukset - TAU
COMP.CS.420-2024-2025 IFS
Kurssikuvaus
Kurssin kuvaus
Takaisin kurssin etusivulle
COMP.CS.420 Introduction to Formal Specification (Autumn 2024)
Opettaja
Tomi Janhunen