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