Imagen de Amazon.com
Correct software in web applications and web services
Tipo de material:
TextoEstados Unidos de América : Springer, 2015Descripción: 332 páginasISBN: - 9783319171111
- 005.3 C824
Contenidos:
Formal modelling and verification of transactional web service composition: a refinement and proof approach with event-B -- Towards a model of services based on cocreation, abstraction and rights distribution -- Integrating a model driven approach and formal verification for the development of secure service applications -- A formal model of client cloud interaction -- W H: the conceptual model for services -- Monitoring of client cloud intraction
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Rafael Escandón Hernández - UNAC - Medellín Sala principal de colecciones - Primer piso - Medellín | General | 005.3 C824 (Navegar estantería(Abre debajo)) | Ejemplar 1 | Disponible | 19210 |
Incluye bibliografía
Formal modelling and verification of transactional web service composition: a refinement and proof approach with event-B -- Towards a model of services based on cocreation, abstraction and rights distribution -- Integrating a model driven approach and formal verification for the development of secure service applications -- A formal model of client cloud interaction -- W H: the conceptual model for services -- Monitoring of client cloud intraction
cataran
