Електронний каталог

Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНЗ
          Чеботарев, А. Н.
    Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке [Текст] / А. Н. Чеботарев
    // Кибернетика и системный анализ. – 2009. – сентябрь-октябрь(№5). – С. 3-12.


ББК 22.183.492

            



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