Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://studtheses.nubip.edu.ua/handle/123456789/676
Назва: | Дослідження засобів автоматизації проєктування комп’ютерної системи із використанням формальних методів |
Автори: | Єгоров, Є.О. |
Ключові слова: | засоби автоматизації;проєктування комп’ютерної системи;формальні методи |
Дата публікації: | 2021 |
Бібліографічний опис: | Єгоров Є.О. Дослідження засобів автоматизації проєктування комп’ютерної системи із використанням формальних методів : дипломна робота ... магістра : 123 «Комп’ютерна інженерія» / Єгоров Є.О. - Київ, 2021. – 63 с. |
Короткий огляд (реферат): | Факультет інформаційних технологій |
URI (Уніфікований ідентифікатор ресурсу): | http://studtheses.nubip.edu.ua/handle/123456789/676 |
Розташовується у зібраннях: | ОПП "Комп’ютерні системи і мережі" 2021 |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
Yehorov_Ie_2021_m.pdf | 2.46 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.