Вернуться к Подробностям о выпуске
Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования
Скачать
Скачать PDF