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
亚博娱乐官网_亚博pt手机客户端登录
Emner
Matematikk og naturvitenskap
Informatikk
IN5110
Autumn 2023
exercises
Schedule
slides / script
spring2024
Studies
>
Courses
>
IN5110 - Specification and Verification of Parallel Systems
Schedule
Plenary sessions
Lectures
- Tue 10:15-12:00, Wed 16:15-18:00 and Wed 08:15-10:00