Cursuscode
|
Cursustitel
|
Niveau
|
EC
|
Tijdslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Probabilistic reasoning | M | 7,5 | D | PT |
||
|
|
|||||||
|
|
Program semantics and verification | M | 7,5 | A | PT |
||
|
|
|||||||
Cursuscode
|
Cursustitel
|
Niveau
|
EC
|
Tijdslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Concepts of programming language design | M | 7,5 | C | PT |
||
|
|
|||||||
Cursuscode
|
Cursustitel
|
Niveau
|
EC
|
Tijdslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Advanced functional programming | M | 7,5 | A | PT |
||
|
|
|||||||
Cursuscode
|
Cursustitel
|
Niveau
|
EC
|
Tijdslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Language Based Security | M | 7,5 | D | PT |
||
|
|
|||||||