• ВХОД

    •  

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

    G2/16632
     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 : 202.23 р. - Текст : непосредственный.
    Библиогр.в конце ст.
    ГРНТИ УДК
    50.39.29004.436(062)

    Рубрики:
    Вычислительные системы распределенные -- Съезды и конференции

    Кл.слова (ненормированные): распределенная вычислительная система
    Доп. точки доступа:
    Vuong, S.T.\ed.\
    Экз-ры полностью G2/16632
    Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
    Свободны: ХР (1), (2)
    Копия:



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