Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications / Т.Г. Чурина
Параллельное заглавие: : Coloured Petri nets approach to the validation of SDL-specifications : T.G. Churina, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Ин-т систем информатики, 1998Физическая характеристика: 56 с. : ил. ; 20 см.Серия: Препринт ; 56Примечания: Авт. также на англ. яз.: T.G. Churina; Рез. на англ. яз.Библиография: Библиогр.: с. 55-56.Предметная рубрика - Тема: Петри, сети -- Проектирование Другие классификации: З973.202-02-5-05 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 99-4/8883 (Просмотр полки(Открывается ниже)) | Доступно | 64391-10 |
Авт. также на англ. яз.: T.G. Churina
Рез. на англ. яз
Библиогр.: с. 55-56