Автор:
Ушакова, Мария Сергеевна
Дата:
2022-02-02
Библиографическое описание:
Ушакова, Мария Сергеевна. Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ [Электронный ресурс] : диссертация ... кандидата технических наук / М. С. Ушакова. — Красноярск : СФУ, 2022.
Специальность выпускной работы:
2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей (технические науки)
Учёная степень или квалификация, на которую выполнена работа:
Кандидат технических наук