Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers / edited by Marco Carbone, Jean-Marc Petit.

Por: Carbone, Marco [editor.]Colaborador(es): Petit, Jean-Marc [editor.]Tipo de material: TextoTextoSeries Lecture Notes in Computer Science, 7176Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Descripción: IX, 143 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642298349Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Software engineering | Information storage and retrieval systems | Information Systems | Computer Science | Information Systems Applications (incl. Internet) | Software Engineering | Management of Computing and Information Systems | Information Storage and Retrieval | User Interfaces and Human Computer InteractionFormatos físicos adicionales: Sin títuloClasificación CDD: 005.7 Clasificación LoC:QA76.76.A65Recursos en línea: de clik aquí para ver el libro electrónico Springer eBooksResumen: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
    Valoración media: 0.0 (0 votos)
No hay ítems correspondientes a este registro

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.

ZDB-2-SCS

ZDB-2-LNC

No hay comentarios en este titulo.

para colocar un comentario.