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

Скорочена інформація про документ
dc.contributor.authorДорогий, Ярослав Юрійович
dc.contributor.authorДорога-Іванюк, Олена Олександрівна
dc.date.accessioned2023-06-07T16:04:57Z
dc.date.available2023-06-07T16:04:57Z
dc.date.issued2021
dc.description.abstractКонспект лекцій з навчальної дисципліни «Сучасні технології автоматизованого проектування і верифікації програм» у компактній формі відображає матеріал курсу, допомагає сформувати загальне уявлення про предмет вивчення, правильно зорієнтуватися в даній галузі знань. Конспект лекцій з названої дисципліни сприятиме більш успішному вивченню дисципліни, причому більшою мірою для студентів очно- заочної форми, екстернату та дистанційного навчання.uk
dc.format.extent90 с.uk
dc.identifier.citationСучасні технології автоматизованого проектування і верифікації програм. Конспект лекцій [Електронний ресурс] : як навчальний посібник для студентів, які навчаються за спеціальністю 121 «Інженерія програмного забезпечення», спеціалізацією «Інженерія програмного забезпечення комп’ютерних систем» / КПІ ім. Ігоря Сікорського ; уклад.: Я. Ю. Дорогий, О. О. Дорога-Іванюк. – Електронні текстові дані (1 файл: 3,88 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 89 с. – Назва з екрана.uk
dc.identifier.orcid0000-0003-3848-9852uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/56781
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectавтоматизоване проектуванняuk
dc.subjectконспектuk
dc.subjectSWEBOOKuk
dc.subjectAgileuk
dc.subjectтестуванняuk
dc.subjectпрограмний кодuk
dc.subjectверифікаціяuk
dc.subjectverificationuk
dc.subjecttestinguk
dc.subjectsource codeuk
dc.subjectautomatic designinguk
dc.subjectconspectuk
dc.subject.udc004.422uk
dc.titleСучасні технології автоматизованого проектування і верифікації програм. Конспект лекційuk
dc.typeLearning Objectuk

Файли

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

Зібрання

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