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