Course ID
|
Course name
|
Level
|
EC
|
Timeslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Probabilistic reasoning | M | 7.5 | D | PT |
||
|
|
|||||||
|
|
Program semantics and verification | M | 7.5 | A | PT |
||
|
|
|||||||
Course ID
|
Course name
|
Level
|
EC
|
Timeslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Concepts of programming language design | M | 7.5 | C | PT |
||
|
|
|||||||
Course ID
|
Course name
|
Level
|
EC
|
Timeslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Advanced functional programming | M | 7.5 | A | PT |
||
|
|
|||||||
Course ID
|
Course name
|
Level
|
EC
|
Timeslot
|
CS
|
||
|---|---|---|---|---|---|---|---|
|
|
Language Based Security | M | 7.5 | D | PT |
||
|
|
|||||||