• ВХОД
  •  

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

    Cate, E. ten Towards formal specification and proof of finite element software within the ates development system : diss. / E.ten Cate. - Twente, 1991. - 236 p. : ill. - ISBN 90-9004337-3. - Текст : непосредственный.
    Рез.гол.Библиогр.:с.230-233.Указ.:с.234-236

    ГРНТИ УДК
    27.37.15517.972.5:004(043)

    Рубрики:
    Конечных элементов метод

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/24262)

    Шифр в сводном ЭК: f623d1197918bbf774dec917eda60e87



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