Jump to main content
UiO
University of Oslo
No
En
Menu
For employees
My studies
Search our webpages
Search
Home
Research
Studies
Student Life
Services and tools
About UiO
People
Sub menu
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF9140
Vår 2012
Studies
>
Courses
>
This course is replaced by
IN9110 – Specification and Verification of Parallel Systems
.
INF9140 - Specification and verification of parallel systems
Semester page for INF9140 - Spring 2012
Schedule
Kontakt oss
Studieadministrasjon og faglærere