Tietojenkäsittelytieteen laitos

Tietojenkäsittelytieteen laitos vastaa tietojenkäsittelytieteen opetuksesta ja tutkimuksesta Helsingin yliopistossa.

Helsingin Yliopisto

Matemaattis-luonnontieteellinen tiedekunta

Suomi
English

582404

Automaattinen verifiointi

Automatisk verifikation

Automatic Verification

Toistuminen

Ei tarjota

Osoite: Tietojenkäsittelytieteen laitos, PL 68 (Gustaf Hällströmin katu 2b), 00014 Helsingin yliopisto
Aukioloajat: Normaalisti syys- ja kevätlukukausien aikana ma - pe klo 7.45-19.45.
Puhelin: (09) 1911 (yliopiston vaihde)
Sähköposti: Palveluosoitteet
Faksi: (09) 1915 1120

Kirjaudu sivulle | Webmaster