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

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

    Cate E.ten Towards formal specification and proof of finite element software within the ates development system : Diss. / E.ten Cate, 1991. - 236 p. - Текст : непосредственный.