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
INF3230
V?r 2011
Teaching plan
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF3230
>
V?r 2011
Dette emnet er erstattet av
INF3232 – Logikk for systemanalyse (videref?rt)
.
INF3230 - Formell modellering og analyse av kommuniserende systemer
Semesterside for INF3230 - V?r 2011
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Kontakt oss
Studieadministrasjon og fagl?rere
Beskjeder
20.05.2011 was the last seminar. …
25. mai 2011 15:45
NB unless stated otherwise, next …
8. apr. 2011 21:42
Mandatory Assignment 3 is in …
7. apr. 2011 21:08
Se flere beskjeder