Просмотр «Логика ветвящегося времени как инструмент спецификации и верификации параллельных программ.»

Вернуться к Подробностям о статье Логика ветвящегося времени как инструмент спецификации и верификации параллельных программ. Скачать Скачать PDF