Полное описание
> Formal description techniques,II : FORTE'89 : proc.of the IFIP TC/WG 6.1, 2 intern.conf.on formal description techniques for distributed systems and communications protocols,Vancouver,Canada,5-8 Dec.1989 / Ed. S. T. Vuong. - Amsterdam [etc.] : North-Holland, 1990. - XIII,549 p. p. : ill. - ISBN 0-444-88544-7. - Текст : непосредственный.
Библиогр.в конце ст.
ГРНТИ | УДК | |
50.39.29 | 004.436(063) |
Рубрики:
Вычислительные системы распределенные -- Съезды и конференции
Кл.слова (ненормированные): РАСПРЕДЕЛЕННАЯ ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА
Доп. точки доступа:
Vuong, S.T.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/16632)>
Шифр в сводном ЭК: 8bab4b2c2dd23350703991e6381fae0e
Заказ фрагмента документа ₽