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

Ашраф Абд Эль-Фаттах Мустафа Дарвиш. Расширение предикативных формул линейными неравенствами и списками для спецификации программ : автореф. дис. ... канд. физ.-мат. наук: 05.13.17 / Ашраф Абд Эль-Фаттах Мустафа Дарвиш. - СПб., 2006. - 16 с. - Библиогр.: с. 14-16. - Текст : непосредственный.
В надзаг.: С.-Петерб. гос. ун-т

ГРНТИ	УДК
50.05.13	004.415.28(043)

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

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

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