Povinně volitelné předměty magisterské specializace Programovací jazyky, verze 2026
Skupiny platné pro studijní plány přidělované studentům od akademického roku 2026/2027
| Kód | Název předmětu | Jazyk výuky | ZIMNÍ SEMESTR | LETNÍ SEMESTR | Vypsán v semestru | ||||
| Vyučující | Zakončení | Kredity (ECTS) | Rozsah | Zakončení | Kredity (ECTS) | Rozsah | |||
| NI-EPC | Efektivní programování v C++ | česky | Z,ZK | 5 | 2P+1C | B251 | |||
| NI-FME | Formální metody a specifikace | česky | Z,ZK | 5 | 2P+1C | B252 | |||