Дипломна робота бакалавра. ПА-16-1. Формальні аспекти доведення правильності програм
Викладач:
Хижа Олександр Леонідович
Предмет:
Дипломна робота
Рік видання:
2020
Автор:
Сильничий Тимофій Вадимович
Спеціалізація:
113 Прикладна математика - ОПП "Комп’ютерне моделювання та технології програмування" (Бакалавр)
Опис:
