Вид документа : Однотомное издание Шифр издания : 519/G 48 Автор(ы) : Girault, Claude, Valk, Rudiger Заглавие : Petri Nets for Systems Engineering : a Guide to Modeling, Verification, and Applications Выходные данные : Berlin [et al.]: Springer, 2003 Колич.характеристики :XVI, 607 с.: ил. Примечания : Библиогр.: с. 571-599. - Указ.: с. 601-607 ISBN, Цена 3-540-41217-4: 2016.00 р. ГРНТИ : 27.47 ББК : 519.181 Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Valk, Rudiger