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

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

    Cousot R. Verification, model checking, and abstract interpretation / R. Cousot, 2005 r=on-line. - Текст : электронный.