Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

by Marco Montali

Springer

₹5,609

Free delivery. Nothing extra to pay at checkout.

  • New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

From the publisher

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics.

Description supplied by the publisher.

Book details

ISBN-13
9783642145377
ISBN-10
364214537X
Author
Marco Montali
Publisher
Springer
Condition
New
See all