Semesterside for INF4231 - Vår 2016

Felles undervisning

Emnet har felles undervisning med INF3230 – Formell modellering og analyse av kommuniserende systemer (videreført). Se semestersiden til dette emnet for timeplan og beskjeder.

(For English readers:)   All information about the course INF4231 is available on the course page for the course INF3230.

(INF4231 and INF3230 have the same lectures and seminars, except that INF4231 also deals with temporal logic.)

14. jan. 2016 14:52