Новые поступления (книга в стадии обработки) Кузьмин, Егор Владимирович. Структурированные системы переходов [Текст] : научное издание / Е. В. Кузьмин, В. А. Соколов. - Москва : ФИЗМАТЛИТ, 2006. - 173, [3] с. : рис. - Библиогр.: с. 166-171 (90 назв.). - Предм. указ.: с. 172-173. - ISBN 5-9221-0692-9 (в пер.) : 105.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): верификация -- структурированные системы переходов -- петри сети -- параллельные системы -- распределенные системы -- счетчиковые машины -- темпоральность Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Соколов, Валерий Анатольевич |