Формальная верификация функционально-потоковых параллельных программ.

Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/74734
Автор:
Ушакова, Мария Сергеевна
Научный руководитель:
Легалов, Александр Иванович
Коллективный автор:
Институт космических и информационных технологий
Кафедра вычислительной техники
Дата:
2018
Библиографическое описание:
Ушакова, Мария Сергеевна. Формальная верификация функционально-потоковых параллельных программ. [Электронный ресурс] : аннотация научно-квалификационной работы (диссертации) : 09.06.01 / М. С. Ушакова. — Красноярск : СФУ, 2018.
Специальность выпускной работы:
09.06.01 Информатика и вычислительная техника
Образовательная программа выпускной работы:
05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Учёная степень или квалификация, на которую выполнена работа:
Аспирант
Коллекции:
Метаданные:
Показать полную информацию