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
Vår 2017
handouts
slides
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5140
>
Vår 2017
Dette emnet er erstattet av
IN5110 – Specification and Verification of Parallel Systems
.
INF5140 - Kravspesifikasjon og verifikasjon av parallelle systemer
Semesterside for INF5140 - Vår 2017
Timeplan
Eksamen: Tid og sted
Faglærere
Volker Stolz
Universitetet i Oslo
Martin Steffen
Universitetet i Oslo
Beskjeder
Collatz Conjecture in Color - Numberphile
29. mars 2017 11:50
No lecture on Friday 24th Feb.
23. feb. 2017 12:52
Time & first lecture: Friday 20.January, 12:15
12. jan. 2017 10:39
Se flere beskjeder
Kontakt
Institutt for informatikk