Compulsory Elective Courses of Master Specialization Programming Languages, In English, Version 2026
Groups valid for study plans assigned to students from the 2026/2027 academic year
| Code | Course name | Language | WINTER SEMESTER | SUMMER SEMESTER | Enrolled in semester | ||||
| Tutor | Completion | Credits (ECTS) | Range | Completion | Credits (ECTS) | Range | |||
| NIE-EPC | Effective C++ programming | English | Z,ZK | 5 | 2P+1C | B251 | |||
| NIE-FME | Formal Methods and Specifications | English | Z,ZK | 5 | 2P+1C | B252 | |||