Доведення коректності алгоритмів на чисто функціональних структурах даних за допомогою The Coq Proof Assistant
Loading...
Date
Authors
ORCID
DOI
item.page.thesis.degree.name
item.page.thesis.degree.level
item.page.thesis.degree.discipline
item.page.thesis.degree.department
item.page.thesis.degree.grantor
item.page.thesis.degree.advisor
item.page.thesis.degree.committeeMember
Journal Title
Journal ISSN
Volume Title
Publisher
Харків : Харківський національний університет імені В.Н. Каразіна
Abstract
Description
Керівник роботи: Жолткевич Григорій Миколайович, професор, доктор технічних наук кафедри теоретичної та прикладної інформатики
Citation
Єна, Артем Вячеславович. Доведення коректності алгоритмів на чисто функціональних структурах даних за допомогою The Coq Proof Assistant : кваліфікаційна робота магістра : спеціальність 122 - Комп’ютерні науки : освітньо-наукова програма «Інформатика» / А. В. Єна ; кер. роботи Г. М. Жолткевич. – Харків : Харківський національний університет імені В. Н. Каразіна, 2024. – 67 с.