ЖДТУ
Бібліотека
Електронний каталог
Верификация программ: состояние, проблемы, результаты. 1.
Вид документа: Стаття періодичного видання
Автор: Крывый С.Л., Максимец А.Н. Авторський знак: К85 Вид автора: персона
Мова: Російська Обсяг: С.3
Шифр: 519.7 УДК: 519.7
| Аннотацiя: | верификация, абстрактные интерпретации, транзиционные системы, сети Петри, верификация на моделях |
| Карта Сайту © Житомирський державний технологiчний університет |