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


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

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0227 : Closing open SDL-systems for model checking with DTSpin / N.Ioustinova,N.Sidorova,M.Steffen, 2002. - 15 p. - Текст : непосредственный.

    Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0228 : Abstraction and flow analysis for model checking open asynchronous systems / N.Ioustinova,N.Sidorova,M.Steffen, 2002. - 15 p. - Текст : непосредственный.