Показать сокращенную информацию
Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ
| Автор | Ушакова, Мария Сергеевна | |
| Дата внесения | 2022-07-05T04:58:27Z | |
| Дата, когда ресурс стал доступен | 2022-07-05T04:58:27Z | |
| Дата публикации | 2022-02-02 | |
| Библиографическое описание | Ушакова, Мария Сергеевна. Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ [Электронный ресурс] : диссертация ... кандидата технических наук / М. С. Ушакова. — Красноярск : СФУ, 2022. | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/146610 | |
| Язык | ru_RU | |
| Издатель | Сибирский федеральный университет | |
| Ссылка на другой сайт | https://research.sfu-kras.ru/node/14728 | |
| Название | Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ | |
| Тип | Thesis | |
| Тип | Candidate Thesis | |
| Код специальности выпускной работы | 2.3.5. | |
| Учёная степень или квалификация, на которую выполнена работа | Кандидат технических наук | |
| Диссертационный совет | 24.2.404.05 | |
| Специальность выпускной работы | 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей (технические науки) |
