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
澳门葡京手机版app下载
Emner
Matematikk og naturvitenskap
Informatikk
INF4140
H?st 2012
Undervisningsplan
Studies
>
Courses
>
This course is replaced by
IN5170 – Models of Concurrency
.
INF4140 - Models of concurrency
Semester page for INF4140 - Autumn 2012
Schedule
Syllabus/reading list
Examination: Time and place
Teachers
Silvia Lizeth Tapia Tarifa
University of Oslo
Messages
We will have a closed …
Nov. 26, 2012 7:08 PM
The second compulsory assignment is …
Oct. 19, 2012 1:52 PM
Reference for Program Verification: Micharl …
Oct. 11, 2012 7:10 PM
See more messages
Contact
Department of Informatics