A computer model of compilation verification based on SТS
Вантажиться...
Дата захисту
Автори
Назва журналу
Номер ISSN
Назва тому
Заклад вищої освіти
Національний технічний університет "Харківський політехнічній інститут"
Освітньо-кваліфікаційний рівень
магістр
Напрям підготовки бакалаврів
6.050102 комп’ютерна інженерія
Шифр і назва спеціальності
123 Комп’ютерна інженерія
Освітня програма
Сучасне програмування, мобільні пристрої та комп'ютерні ігри
Назва спеціалізації
Системне програмування
Форма навчання
денна
Випускаюча кафедра
Анотація
Опис
Ключові слова
Бібліографічний опис
Zhang Y. A computer model of compilation verification based on SТS [Електронний ресурс]: кваліфікаційна робота освітнього рівня магістр / Zhang Yan; наук. керівник Igor ZYKOV, Національний технічний університет «Харківський політехнічний інститут». — КN-М923i.b 21. — Харків, 2024 р. — 75 с.
Шифр роботи
КN-М923i.b 21