СИСТЕМА АВТОМАТИЗИРОВАННОГО ДОКАЗАТЕЛЬСТВА КОРРЕКТНОСТИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

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

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

Авторов:
761 409

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

СИСТЕМА АВТОМАТИЗИРОВАННОГО ДОКАЗАТЕЛЬСТВА КОРРЕКТНОСТИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

Кропачева, М. С.

Дата публикации: 2012

Дата публикации в реестре: 2020-03-03T17:26:00Z

Тип: Conference Item

Источник: VIII Всероссийская конференция «Молодёжь и наука», Секция «Информатика»

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