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

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

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

    Verification, model checking, and abstract interpretation : 10th International conference, VMCAI 2009, Savannah, Ga, USA, January 18-20, 2009: proceedings / ed. N. Jones, 2009 r=on-line. - Текст : электронный.

    ESOP'90 : 3rd Europ.symp.on programming Copenhagen, May 15-18, 1990Proc. / Ed. N. Jones, 1990. - IX,435 p. p. - Текст : непосредственный.