Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach - Lecture Notes in Business Information Processing - Marco Montali - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642145377 - 2010. gada 30. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach - Lecture Notes in Business Information Processing


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Marco Montali izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.


433 pages, 97 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 30. jūlijs
ISBN13 9783642145377
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 411
Izmēri 155 × 234 × 23 mm   ·   657 g
Valoda Franču  

Vairāk no Marco Montali

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Marco Montali ( piem., Paperback Book )