Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
澳门葡京手机版app下载
澳门葡京手机版app下载
澳门葡京手机版app下载
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
澳门葡京手机版app下载
Emner
Matematikk og naturvitenskap
Informatikk
INF5140
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5140
Dette emnet er erstattet av
IN5110 – Specification and Verification of Parallel Systems
.
English
INF5140 – Kravspesifikasjon og verifikasjon av parallelle systemer
Beskrivelse av emnet
Kort om emnet
Hva l?rer du?
Opptak og adgangsregulering
Forkunnskaper