Полное описание
> Ашраф Абд Эль-Фаттах Мустафа Дарвиш. Расширение предикативных формул линейными неравенствами и списками для спецификации программ : автореф. дис. ... канд. физ.-мат. наук: 05.13.17 / Ашраф Абд Эль-Фаттах Мустафа Дарвиш. - СПб., 2006. - 16 с. - Библиогр.: с. 14-16. - Текст : непосредственный.
В надзаг.: С.-Петерб. гос. ун-т
ГРНТИ | УДК | |
50.05.13 | 004.415.28(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар06-7538)>
Шифр в сводном ЭК: 8b41ce91326273c9abebde09434027ad
Заказ фрагмента документа ₽