Пошук академічних текстів

Інформація × Реєстраційний номер 2122U006946, Матеріали видань та локальних репозитаріїв Категорія Стаття Назва роботи Алгоритм тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування» Автор Сімперович М. М.Черненко О. О.Simperovych M. M.Chernenko O. O. Дата публікації 01-01-2022 Постачальник інформації Полтавський університет економіки і торгівлі Першоджерело http://dspace.puet.edu.ua/handle/123456789/15720 Видання Полтавський університет економіки і торгівлі Опис В статті розглядається проблема верифікації програмного забезпечення та опис розробки алгоритму для навчального тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування». Додано в НРАТ 2026-01-29 Закрити