Вид документа : Однотомное издание Шифр издания : 517268 681.142/К 893 Автор(ы) : Кузьмин, Егор Владимирович, Соколов, Валерий Анатольевич Заглавие : Структурированные системы переходов Выходные данные : Москва: ФИЗМАТЛИТ, 2006 Колич.характеристики :173, [3] с.: рис. Примечания : Библиогр.: с. 166-171 (90 назв.). - Предм. указ.: с. 172-173 ISBN (в пер.), Цена 5-9221-0692-9: 105.00, 102.41, р. УДК : 004 Предметные рубрики: вычислительная техника-- информационные технологии Ключевые слова (''Своб.индексиров.''): верификация--структурированные системы переходов--петри сети--параллельные системы--распределенные системы--счетчиковые машины--темпоральность Экземпляры : всего : ОХФ(3) Свободны : ОХФ(3) Доп. точки доступа: Соколов, Валерий Анатольевич