• ВХОД
  •  

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

    R/17937/SEN-R0107
    Ponse, A. Equivalence of recursive specifications in process algebra / A.Ponse,Y.S.Usenko. - Amsterdam : [s. n.], 2001. - 10 p. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R0107). - 20.00 р. - Текст : непосредственный.
    Библиогр.:с.9-10
    ГРНТИ УДК
    50.33.04004.272.2

    Рубрики:
    Параллельные вычисления

    Доп. точки доступа:
    Usenko, Y.S.
    Экз-ры полностью R/17937/SEN-R0107
    Имеются экземпляры в отделах: всего 1 : ХР (1)
    Свободны: ХР (1)



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