Полное описание

Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. - Berlin [etc.] : Springer-Verl., 20 - . - Текст : непосредственный.
56 : Specification and verification of declarative open interaction models. A logic-based approach / M. Montali. - 2010. - XXII, 411 p. : ill. - Библиогр.: с. 385-402 (270 назв.). Указ.: с. 403-411

ГРНТИ	УДК
50.39.29	004.75-047.58
50.05.13	004.415.5
	004.415.28

Рубрики:
Вычислительные системы распределенные -- Моделирование
Программное обеспечение ЭВМ -- Верификация
Программное обеспечение ЭВМ -- Спецификация

Доп. точки доступа:
Van der Aalst, W.\ed.\

Имеются экземпляры в отделах: всего -20110903 : ХР (-20110904), (1)
Свободны: ХР (1), (1)
Копия:

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/18313/56)

Шифр в сводном ЭК: b5ade53bf786cc7117052352f917adae

Заказать издание
Заказ фрагмента документа ₽