581366
Spesifioinnin ja verifioinnin perusteet
Grunderna i specificering och verifiering
Introduction to Specification and Verification
Toistuminen
Joka toinen vuosi
Tulevat erilliskokeet
Ei kokeita.
Kurssisivut
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
