| Внимание! | Для просмотра файлов формата DjVu необходим plug-in. Он совместим с IE 4.0 и выше, NN 4.0 и выше, Opera 3.26 и выше. Скачать можно здесь... |
Раздел: Информатика (Theoretical Computer Science).
Автор: А. В Анисимов и др. Название: Абстрактные типы данных и верификация асинхронных паралельных вычислений в управляющих пространствах. Опубликовано: Модели и системы обработки информации.,Киев.: "Высшая школа ", 1983 Размер: 12 стр. Файл: tcsi-3.rar (147 Кб) Примечание: Несколько страниц немного повреждены Линки по теме: