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

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

Непейвода, Н. Н.
    Об одном методе построения правильной программы из правильных подпрограмм [Текст] / Н.Н. Непейвода // Программирование. — 1979. — С. 15-25.

- Анотація:

Статья посвящена математическому аппарату синтеза программы из подпрограмм. Подробно формулируется алгоритм извлечения программы из доказательства, а его работа иллюстрируется на примерах.

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

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

  • УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних
  • УДК // Математика



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