Електронний каталог науково-технічної бібліотеки ІФНТУНГ

Пошук Відібрані Формуляр Опис документа
Науковий архів ІФНТУНГ Сайт бібліотеки Сайт ІФНТУНГ
004.3
          Панченко, Т. В.
    Метод доведення властивостей програм в композиційно-номінативних мовах IPCL [Текст] / Т. В. Панченко
    // Проблеми програмування. – 2008. – № 1. – С. 3-16.


УДК 004.3

            

Є складовою частиною документа Проблеми програмування [Текст] : наук. журн. – 2008. – № 1. – 101 с.



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