Вид документа : Однотомное издание Шифр издания : З97/П781 Заглавие : Проблемы спецификации и верификации параллельных систем : Сб. науч. тр. Параллельн. заглавия :Problems of specification and verification of concurrent systems Выходные данные : Новосибирск, 1995 Колич.характеристики :237 с.: ил Примечания : Библиогр. в конце ст ISBN, Цена 5-7623-1069-8: Б.ц. ГРНТИ : 50.41.23 ББК : З 973.22-018я43 Предметные рубрики: Вычислительные системы, программное обеспечение Дескрипторы: сб Экземпляры :02(1) Свободны : 02(1)