Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ

Ушакова, Мария Сергеевна

Дата публикации: 2022-02-02

Дата публикации в реестре: 2022-10-06T20:46:40Z

Тип: Thesis

Другие версии документа

Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core