Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
亚博娱乐官网_亚博pt手机客户端登录
亚博娱乐官网_亚博pt手机客户端登录
亚博娱乐官网_亚博pt手机客户端登录
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
亚博娱乐官网_亚博pt手机客户端登录
Emner
Matematikk og naturvitenskap
Informatikk
INF3230
V?r 2013
Undervisningsplan
亚博娱乐官网_亚博pt手机客户端登录
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF3230
>
V?r 2013
Dette emnet er erstattet av
INF3232 – Logikk for systemanalyse (videref?rt)
.
INF3230 - Formell modellering og analyse av kommuniserende systemer
Semesterside for INF3230 - V?r 2013
Pensum/litteraturliste
Eksamen: Tid og sted
Fagl?rere
Peter Csaba ?lveczky
Universitetet i Oslo
Beskjeder
L?sningsforslag til eksamen 2013/Solutions for exam 2013
13. juni 2013 19:16
Next seminar FRIDAY June 7, 10.15 room Java
27. mai 2013 14:57
Seminar already coming Monday
24. mai 2013 17:52
Se flere beskjeder
Kontakt
Institutt for informatikk