Дипломна робота бакалавра. ПА-16-1. Формальні аспекти доведення правильності програм

Викладач: Хижа Олександр Леонідович
Рік видання: 2020
Автор: Сильничий Тимофій Вадимович
Спеціалізація:

113 Прикладна математика - ОПП "Комп’ютерне моделювання та технології програмування" (Бакалавр)

Опис: