Ашраф Абд Эль-Фаттах Мустафа Дарвиш. Расширение предикатных формул линейными неравенствами и списками для спецификации программ
Кількість сторінок:
200
ВНЗ:
СПб.
Рік захисту:
2006
Короткий опис:
Ашраф Абд Эль-Фаттах Мустафа Дарвиш. Расширение предикатных формул линейными неравенствами и списками для спецификации программ : Дис. ... канд. физ.-мат. наук : 05.13.17 СПб., 2006 232 с. РГБ ОД, 61:06-1/506