Logics and Models of Concurrent Systems, Krzysztof R. Apt

Автор: Ryszard Janicki; Peter E. Lauer
Название: Specification and Analysis of Concurrent Systems
ISBN: 3642773397 ISBN-13(EAN): 9783642773396
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.

Автор: Marc Pallot; Victor Sandoval
Название: Concurrent Enterprising
ISBN: 1461368235 ISBN-13(EAN): 9781461368236
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent Enterprising: Toward the Concurrent Enterprise in the Era of the Internet and Electronic Commerce presents the concurrent enterprise business model and concurrent enterprising approach, which is emerging as a crucial challenge for organizations in all geographical locations and economic sectors.