ЖДТУ
Бібліотека
Електронний каталог
Об одном подходе к верификации симметричных параметризованных распределённых систем
Вид документа: Стаття періодичного видання
Автор: Коннов И.В. Авторський знак: К64 Вид автора: персона
Мова: Російська Обсяг: С.3
Шифр: 519.6+681.3 УДК: 519.6+681.3
Є складовою частиною документа: Программирование
| Карта Сайту © Житомирський державний технологiчний університет |