Beskikkede censorer startende 1. april 2018       Information
Lektor Bent Thomsen
Aalborg Universitet
Institut for Datalogi
Selma Lagerløfs Vej 300
9220 Aalborg
Danmark
bt @ cs.aau.dk
99408897
Indledende emner
Concurrent og parallel programmering
Distribuerede systemer
Funktionsprogrammering
Indledende programmering
Oversættelse
Programmeringssprog
Semantik
Videregående emner
Compiler Construction
Concurrency Theory
Embedded Systems
Functional Programming
Object-Oriented Programming
Program Analysis
Programming Language Design
Real-Time Systems
Type Theory