Дорогий, Ярослав ЮрійовичДорога-Іванюк, Олена Олександрівна2023-06-122023-06-122021Сучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення [Електронний ресурс] : методичні вказівки до виконання лабораторних робіт для студентів Спеціальності 121 «Інженерія програмного забезпечення» Спеціалізації «Інженерія програмного забезпечення комп’ютерних систем» кафедри інформаційних систем та технологій всіх форм навчання / КПІ ім. Ігоря Сікорського ; уклад.: Я. Ю. Дорогий, О. О. Дорога-Іванюк. – Електронні текстові данні (1 файл: 1,68 МБ). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 89 с. – Назва з екрана.https://ela.kpi.ua/handle/123456789/57039Методичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена тематика 7-и лабораторних робіт, теоретичні відомості, завдання для виконання робіт, список літератури.89 с.ukавтоматизоване проектуваннялабораторні роботитестуванняпрограмний кодверифікаціяLearning Object004.4220000-0003-3848-9852