Доведення коректності алгоритмів на чисто функціональних структурах даних за допомогою The Coq Proof Assistant
Вантажиться...
Дата
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник/консультант
Члени комітету
Назва журналу
Номер ISSN
Назва тому
Видавець
Харків : Харківський національний університет імені В.Н. Каразіна
Анотація
Опис
Керівник роботи: Жолткевич Григорій Миколайович, професор, доктор технічних наук кафедри теоретичної та прикладної інформатики
Бібліографічний опис
Єна, Артем Вячеславович. Доведення коректності алгоритмів на чисто функціональних структурах даних за допомогою The Coq Proof Assistant : кваліфікаційна робота магістра : спеціальність 122 - Комп’ютерні науки : освітньо-наукова програма «Інформатика» / А. В. Єна ; кер. роботи Г. М. Жолткевич. – Харків : Харківський національний університет імені В. Н. Каразіна, 2024. – 67 с.