Сучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення

dc.contributor.authorДорогий, Ярослав Юрійович
dc.contributor.authorДорога-Іванюк, Олена Олександрівна
dc.date.accessioned2023-06-12T12:22:34Z
dc.date.available2023-06-12T12:22:34Z
dc.date.issued2021
dc.description.abstractМетодичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена методичні рекомендації щодо складання іспиту з дисципліни.uk
dc.format.extent21 с.uk
dc.identifier.citationСучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення [Електронний ресурс] : методичні вказівки до складання іспиту з дисципліни для студентів Спеціальності 121 «Інженерія програмного забезпечення» Спеціалізації «Інженерія програмного забезпечення комп’ютерних систем» кафедри інформаційних систем та технологій всіх форм навчання / КПІ ім. Ігоря Сікорського ; уклад.: Я. Ю. Дорогий, О. О. Дорога-Іванюк. – Електронні текстові данні (1 файл: 375,38 КБ). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 21 с. – Назва з екрана.uk
dc.identifier.orcid0000-0003-3848-9852uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/57035
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectавтоматизоване проектуванняuk
dc.subjectметодичні рекомендаціїuk
dc.subjectтестуванняuk
dc.subjectверифікаціяuk
dc.subjectпрограмний кодuk
dc.subject.udc004.422uk
dc.titleСучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпеченняuk
dc.typeLearning Objectuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
stapvp_exam-1.pdf
Розмір:
375.38 KB
Формат:
Adobe Portable Document Format
Опис:
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис: