Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF5140
Syllabus
Undervisningsplan
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5140
>
Syllabus
Dette emnet er erstattet av
IN5110 – Specification and Verification of Parallel Systems
.
INF5140 - Kravspesifikasjon og verifikasjon av parallelle systemer
Semesterside for INF5140 - Vår 2006
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Kontakt oss
Studieadministrasjon og faglærere
Studieadministrasjon og faglærere
Beskjeder
1. The mandatory assignment 2 …
10. apr. 2006 15:55
Mandatory assignment 2 is due …
31. mars 2006 01:24
Notice that there is no …
3. mars 2006 14:51
Se flere beskjeder