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

R/18313/56
Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. - Berlin[etc.] : Springer-Verl., 20 - . - ISSN 1865-1348. - Текст : непосредственный.
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. - ISBN 978-3-642-14537-7 : 3953.97 р.

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

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

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

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

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