Навчальний план
-
Дисципліна
-
Технології автоматизованого проєктування і верифікації програм
-
Навчальний рік
-
2020/2021
-
Курс
-
2 Курс (1 Семестр)
-
Цикл
-
Навчальні дисципліни для здобуття глибинних знань зі спеціальності
-
Спеціальність
-
121 Інженерія програмного забезпечення
-
Форма навчання
-
Денна
-
Освітній рівень
-
Доктор філософії
-
Кредити
-
120 год.
-
Читаюча кафедра
-
Кафедра автоматики та управління в технічних системах