1 documents found
Information × Registration Number 2122U006946, Article popup.category Стаття Title Simulator algorithm on the topic «Program Verification» for the English-language distance learning course «Programming Theory» popup.author Сімперович М. М.Черненко О. О.Simperovych M. M.Chernenko O. O. popup.publication 01-01-2022 popup.source_user Полтавський університет економіки і торгівлі popup.source http://dspace.puet.edu.ua/handle/123456789/15720 popup.publisher Полтавський університет економіки і торгівлі Description В статті розглядається проблема верифікації програмного забезпечення та опис розробки алгоритму для навчального тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування». popup.nrat_date 2026-01-29 Close
Article
Стаття
Simulator algorithm on the topic «Program Verification» for the English-language distance learning course «Programming Theory»
Сімперович М. М.. Simulator algorithm on the topic «Program Verification» for the English-language distance learning course «Programming Theory» : published. 2022-01-01; Полтавський університет економіки і торгівлі, 2122U006946
1 documents found

Updated: 2026-03-20


Роздрукувати цю сторінку