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

ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНТУ
          Кривий, С. Л.
    Формальні методи аналізу властивостей систем [Текст] / С. Л. Кривий, Л. Є. Матвєєва
    // Кибернетика и системный анализ. – 2003. – № 2. – 15-36.

   Представлено загальний огляд застосувань формальних методів для специфіуації та верифікації програмних технічних систем

  УДК 51.681.3


            



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