Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
欧洲杯在线买球_欧洲杯投注网站推荐@
欧洲杯在线买球_欧洲杯投注网站推荐@
欧洲杯在线买球_欧洲杯投注网站推荐@
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
欧洲杯在线买球_欧洲杯投注网站推荐@
Emner
Matematikk og naturvitenskap
Informatikk
INF5140
V?r 2018
slides
欧洲杯在线买球_欧洲杯投注网站推荐@
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5140
>
V?r 2018
Dette emnet er erstattet av
IN5110 – Specification and Verification of Parallel Systems
.
INF5140 - Kravspesifikasjon og verifikasjon av parallelle systemer
Semesterside for INF5140 - V?r 2018
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Fagl?rere
Volker Stolz
Universitetet i Oslo
Martin Steffen
Universitetet i Oslo
Beskjeder
No lecture March 2nd!
27. feb. 2018 15:39
Kontakt
Institutt for informatikk