Department of Computer Science [pre 2018 site]
This site will stay around for the foreseeable future for archival purposes.
Helsingin Yliopisto
Matemaattis-luonnontieteellinen tiedekunta
Suomi
English
Etusivu
Tutkimus
Opiskelu
Opiskelijaksi
Alumnit
Hallinto
Tietotekniikka
Henkilöstö
Yhteystiedot
Aikalogiikka ja järjestelmien verifiointi
Perustiedot
Kurssikoodi:
581255
Opintopisteet:
6
Erikoistumislinja:
Ohjelmistojärjestelmät
Taso:
Syventävät opinnot
Kuvaus:
Vuosi
Lukukausi
Päivämäärä
Periodi
Kieli
Vastuuhenkilö
1997
syksy
-
21.11
.
Suomi
