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