| Номер документа в системі: | 109720 |
| Автор: | Ашраф Абд Эль-Фаттах Мустафа Дарвиш |
| Назва документа: | Расширение предикатных формул линейными неравенствами и списками для спецификации программ [Электронный ресурс] |
| Видавництво: | РГБ |
| Місто видання: | М. |
| Рік видання: | 2006 |
| Мова документу | Російська |
| Кількість сторінок | 235 с. |