Udvidet returret til d. 31. januar 2025

Specification and Verification of Declarative Open Interaction Models - Marco Montali - Bog

- A Logic-Based Approach

Bag om Specification and Verification of Declarative Open Interaction Models

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642145377
  • Indbinding:
  • Paperback
  • Sideantal:
  • 411
  • Udgivet:
  • 30. juli 2010
  • Størrelse:
  • 234x155x23 mm.
  • Ukendt - mangler pt..

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Specification and Verification of Declarative Open Interaction Models

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.

Brugerbedømmelser af Specification and Verification of Declarative Open Interaction Models



Find lignende bøger
Bogen Specification and Verification of Declarative Open Interaction Models findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.