Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри = Modeling SDL-specifications via colored Petri nets / М.Ю. Машуков, Т.Г. Чурина
Параллельное заглавие: : z45790Modeling SDL-specifications via colored Petri nets, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики СО РАН, 2007Физическая характеристика: 70 с. : ил. ; 21 см.Серия: Препринт ; 144Примечания: Авт. также на англ. яз.: Mikhail Mashukov, Tatyana Churina; Рез. на англ. яз..Библиография: Библиогр.: с. 69-70 (21 назв.).Предметная рубрика - Тема: SDL, язык программирования | Петри сети Другие классификации: З973.202-018.1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2008-4/4068 (Просмотр полки(Открывается ниже)) | 31 | Доступно | 2622542 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2008-4/4068 (Просмотр полки(Открывается ниже)) | 31 | Доступно | 2622543 |
Авт. также на англ. яз.: Mikhail Mashukov, Tatyana Churina
Рез. на англ. яз.
Библиогр.: с. 69-70 (21 назв.)