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 2018
slides
studentpresentations
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5140
>
Vår 2018
>
slides
Dette emnet er erstattet av
IN5110 – Specification and Verification of Parallel Systems
.
INF5140 - Vår 2018
slides
Underområder
studentpresentations
intro.pdf
Sist endret 26. jan. 2018 11:16 av
Volker Stolz
lmc.pdf
Sist endret 23. feb. 2018 11:14 av
Volker Stolz
ltl.pdf
Sist endret 16. feb. 2018 11:56 av
Volker Stolz
rv-ltl.pdf
Sist endret 13. apr. 2018 11:45 av
Volker Stolz
RSS-strøm fra denne siden