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

ПРАВИЛА КОРИСТУВАННЯ ЕК
          Захаров, В. А.
    Проверка эквивалентности программ с помощью двухленточных автоматов [Текст] / В. А. Захаров
    // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 39-48.

  УДК 519.71


            


Є складовою частиною документа Кибернетика и системный анализ [Текст] : международный научно-теоретический журнал. – 2010. – Т. 46, № 4.



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






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