Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНТУ
          Грачян, Г. Г.
    Об основной симантике бестиповых функциональных программ [Текст] / Г. Г. Грачян
    // Программирование. – 2008. – № 3. – С. 3-21.

   В данной работе доказывается теорема об инвариантности семантики относительно неподвижной точки.

  УДК 681.32


            

Є складовою частиною документа Программирование [Текст] / РАН. – 2008. – № 3.



Теми документа
Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'