Beskikkede censorer startende 1. april 2018       Information
Lektor Michael Reichhardt Hansen
Danmarks Tekniske Universitet
DTU Compute
Bygning 322
2800 Kgs. Lyngby
Danmark
mire @ dtu.dk
45253727
Indledende emner
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Oversættelse
Programmeringssprog
Semantik
Softwarearkitektur
Systemudvikling
Videregående emner
Compiler Construction
Computability
Embedded Systems
Functional Programming
Real-Time Systems
Software Engineering
Software Verification
Systems Development