ЖДТУ
Бібліотека
Електронний каталог
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Вид документа: Стаття періодичного видання
Автор: Чеботарев А.Н. Авторський знак: Ч-34 Вид автора: персона
Мова: Російська Обсяг: С.3
Шифр: 519.713 УДК: 519.713
Є складовою частиною документа: Кибернетика и системный анализ
| Карта Сайту © Житомирський державний технологiчний університет |