Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach - Lecture Notes in Business Information Processing - Marco Montali - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642145377 - 30 de julio de 2010
En caso de que portada y título no coincidan, el título será el correcto

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


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de julio de 2010
ISBN13 9783642145377
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 411
Dimensiones 155 × 234 × 23 mm   ·   657 g
Lengua Francés  

Mas por Marco Montali

Mostrar todo

Mere med samme udgiver