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
INF3230
Spring 2009
Teaching plan
Studies
>
Courses
>
This course is replaced by
INF3232 – Logic for System Analysis (continued)
.
INF3230 - Formal modeling and analysis of communicating systems
Semester page for INF3230 - Spring 2009
Schedule
Syllabus/reading list
Examination: Time and place
Teachers
Peter Csaba ?lveczky
University of Oslo
Gruppel?rere/Teaching Assistants
Peter ?lveczky
Daniela Lepri
Kompendium/Lecture Notes
Entire lecture notes as of March 2, 2009 (Chapters 1 to 7 are updated, but almost nothing will change in the rest)
Contact us
Administration and teachers
Messages
Solutions to the exam 2009
June 5, 2009 3:31 PM
There is a bug in …
Mar. 2, 2009 3:40 PM
This directory contains some of …
Jan. 16, 2009 9:02 PM
See more messages