Электронный каталог


    страница из 1
    всего найдено записей: 1,
      отображать

    Formal description techniques,II : 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, 1990. - XIII,549 p. p. - Текст : непосредственный.