Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verificationof estelle specifications of distributed systems using coloured Petri nets / В.А. Непомнящий, Г.И. Алексеев, А.В. Быстров и др. ; Под ред. В.А. Непомнящего и Н.В. Шилова ; Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова
Параллельное заглавие: : Verificationof estelle specifications of distributed systems using coloured Petri nets, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Ин-т систем информатики, 1998Физическая характеристика: 139 с. : ил. ; 21 см.Примечания: Авт. также на англ. яз.: V.A. Nepomniaschy, G.I. Alekseev, A.V. Bystrov и др.; Рез на англ. яз..Библиография: Библиогр.: с. 136-137.Предметная рубрика - Тема: Петри сети Другие классификации: З973.202-018-07 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Фонд общего зала литературы по технике | Т1 З973.202/В-326 (Просмотр полки(Открывается ниже)) | Доступно | 1-364245 | ||
| Книга | РНБ (Садовая) Макулатура | 6 | 776707 |
Авт. также на англ. яз.: V.A. Nepomniaschy, G.I. Alekseev, A.V. Bystrov и др.
Рез на англ. яз.
Библиогр.: с. 136-137