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

Скорочена інформація про документ
dc.contributor.authorДорогий, Ярослав Юрійович
dc.contributor.authorДорога-Іванюк, Олена Олександрівна
dc.date.accessioned2023-06-12T13:00:36Z
dc.date.available2023-06-12T13:00:36Z
dc.date.issued2021
dc.description.abstractМетодичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена тематика 7-и лабораторних робіт, теоретичні відомості, завдання для виконання робіт, список літератури.uk
dc.format.extent89 с.uk
dc.identifier.citationСучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення [Електронний ресурс] : методичні вказівки до виконання лабораторних робіт для студентів Спеціальності 121 «Інженерія програмного забезпечення» Спеціалізації «Інженерія програмного забезпечення комп’ютерних систем» кафедри інформаційних систем та технологій всіх форм навчання / КПІ ім. Ігоря Сікорського ; уклад.: Я. Ю. Дорогий, О. О. Дорога-Іванюк. – Електронні текстові данні (1 файл: 1,68 МБ). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 89 с. – Назва з екрана.uk
dc.identifier.orcid0000-0003-3848-9852uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/57039
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_labs-1.pdf
Розмір:
1.64 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Навчально-методичні матеріали (ІСТ)