Courses

The following courses are partially or fully offered by the section:

Course no.      Title Points (ECTS) Timetable group
02141 Datalogisk modellering 10 F3A, F4B
02148 Introduktion til koordinering af fordelte applikationer 5 January
02239 Datasikkerhed 7.5 E5B
02242 Programanalyse 7.5 E2A
02244 Logik for sikkerhed 7.5 F2A
02246 Model tjek 7.5 E4A
02247 Oversætterkonstruktion 5 F2B
02332 Compilerteknik 5 E4A
02393 Programmering i C++ 5 E7
02913 Avancerede Analyseteknikker 5 June