Полное описание

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

Заказать издание
Заказ фрагмента документа