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

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

  УДК 51.681.3


            

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



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