Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Русаков, Д. М.
    Алгоритм проверки включения схем в алгебраической модели программ с константами [Текст] / Д.М. Русаков // Программирование. — 2007. — С. 3-13.

- Анотація:

Описывается алгоритм, проверяющий отношение включения в алгебраической модели программ с константами, и доказывает его сложность.

- Є складовою частиною документа:

- Теми документа

  • УДК // Генератори програм. Генератори прикладних програм. Автоматичне програмування



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт