|
Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Статті (ННІДО КНІТ) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.puet.edu.ua/handle/123456789/15720
|
| Название: | Алгоритм тренажеру з теми «Верифікація
програм» для англомовного дистанційного
курсу «Теорія програмування» |
| Авторы: | Сімперович, М. М.
Черненко, О. О. |
| Ключевые слова: | верифікація
тестування
алгоритм
тренажер
verification
testing
algorithm
simulator |
| Дата публикации: | 2022 |
| Издатель: | Полтавський університет економіки і торгівлі |
| Библиографическое описание: | Сімперович М. М. Алгоритм тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування» / М. М. Сімперович, О. О. Черненко // Збірник наукових статей магістрів. – Полтава : ПУЕТ, 2022. – C. 92–96. |
| Аннотация: | В статті розглядається проблема верифікації програмного забезпечення та опис розробки алгоритму для навчального тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування».
The article deals with the problem of software verification and a description of the development of an algorithm for a training simulator on the topic “Verification of programs” for the English distance course “Programming Theory”. |
| URI: | http://dspace.puet.edu.ua/handle/123456789/15720 |
| ISBN: | 978-966-184-435-2 |
| Располагается в коллекциях: | Статті (ННІДО КНІТ)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
