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
IN5110
Autumn 2021
slides
Studies
>
Courses
>
IN5110 - Specification and Verification of Parallel Systems
Semester page for IN5110 - Autumn 2021
Schedule
Syllabus/reading list in Leganto
Examination: Time and place
Teachers
Martin Steffen
University of Oslo
Messages
EXAM: times and place
Dec. 3, 2021 10:18 AM
Welcome to the new semester
Aug. 27, 2021 1:45 PM
Contact
Department of Informatics