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