Jump to main content

UiO University of Oslo

No En

For employees
My studies

Search our webpages

Home
Research
Studies
Student Life
Services and tools
About UiO
People

Sub menu

澳门葡京手机版app下载
Emner
Matematikk og naturvitenskap
Informatikk
- INF4231

Studies > Courses >

This course is replaced by INF4232 – Logic for System Analysis (continued).

Norwegian

INF4231 – Formal Modelling and Analysis of Communicating Systems

Course description

Course content
Learning outcome
Admission
Prerequisites