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

Пошук Відібрані Формуляр Опис документа
Науковий архів ІФНТУНГ Сайт бібліотеки Сайт ІФНТУНГ
004.421
          Алексеєв, В. А.
    Багатоваріантність нотацій представлення алгоритмів функіонування програмних засобів як шлях до їх верифікації [Текст] / В. А. Алексеєв, В. С. Терещенко
    // Проблеми програмування. – 2009. – № 4. – С. 33-48.


УДК 004.421

            

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



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