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

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

Новосельцев, В. Б.
    Синтез параллельных рекурсивных программ в структурах функциональных моделях [Текст] / Томский политехнический университет // Программирование. — 2007. — С. 75-80.

- Анотація:

Рассматривается задача синтеза рекурсивных программ по процедурным спецификам. Для решения задачи предлагается специальное исчисление.

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

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

  • УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, основані на знаннях



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