Tietojenkäsittelytieteen laitos
Tietojenkäsittelytieteen laitos vastaa tietojenkäsittelytieteen opetuksesta ja tutkimuksesta Helsingin yliopistossa.
Helsingin Yliopisto
Matemaattis-luonnontieteellinen tiedekunta
Hae tältä sivustolta:
Suomi
English
Etusivu
Tutkimus
Opiskelu
Opiskelijaksi
Alumnit
Hallinto
Tietotekniikka
Henkilöstö
Yhteystiedot
An Introduction to Specification and Verification
Perustiedot
Kurssikoodi:
581366
Opintopisteet:
4
Erikoistumislinja:
Hajautetut järjestelmät ja tietoliikenne
Taso:
Syventävät opinnot
Kuvaus:
Vuosi
Lukukausi
Päivämäärä
Periodi
Kieli
Vastuuhenkilö
2003
syksy
24.09
-
26.11
.
Englanti
Luennot
Aika
Huone
Luennoija
Päivämäärä
Ke 14-16
C454
Opetusohjelman suunnittelija
24.09.2003-26.11.2003