Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование = Mapping Estelle specifications into coloured Petri nets and its justification / Е. В. Окунишникова
Параллельное заглавие: : Mapping Estelle specifications into coloured Petri nets and its justification, английскийЯзык: русский.Выходные данные: Новосибирск : ИСИ, 2001Физическая характеристика: 59 с. : ил. ; 20 см.Серия: Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 90Библиография: Библиогр.: с. 57-59.Предметная рубрика - Тема: Петри сети -- Математическое моделирование Неконтролируемые предметные термины: Отображения (мат.) | Петри сети УДК: 517.275, 3, rusДругие классификации: ( rugasnti ) 27.23 ; ( rubbk ) 22.16 ; З973.202-01с116 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2002-4/14711 (Просмотр полки(Открывается ниже)) | 1996 | Доступно | 380927 | ||
| Книга | РНБ (Московский) Обменный фонд | 1996 | Доступно | 380928 |
Библиогр.: с. 57-59