See the course page for INF3230 for all course info!

(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.)

Publisert 14. jan. 2016 14:52 - Sist endret 14. jan. 2016 14:54