Спеціальність: 122 Комп'ютерні науки (Інформаційні технології). ОС: PhD. Семестр: 2. ECTS: 3.
Автор: Ткаченко Олексій Миколайович - доцент кафедри комп’ютерних наук.
Анотація: Метою курсу є поглиблення знань щодо концепцій, принципів та понять формальних методів розробки програмних систем та їх застосування для створення якісних і надійних програмних систем.
Автор: Ткаченко Олексій Миколайович - доцент кафедри комп’ютерних наук.
Анотація: Метою курсу є поглиблення знань щодо концепцій, принципів та понять формальних методів розробки програмних систем та їх застосування для створення якісних і надійних програмних систем.
- Викладач: Ткаченко Олексій Миколайович