Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The bo...
Descripción completa
Detalles Bibliográficos
Clasificación: | Libro Electrónico |
Autor Corporativo: |
SpringerLink (Online service) |
Otros Autores: |
Giachino, Elena
(Editor ),
Hähnle, Reiner
(Editor ),
de Boer, Frank S.
(Editor ),
Bonsangue, Marcello M.
(Editor ) |
Formato: | Electrónico
eBook
|
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
Edición: | 1st ed. 2013. |
Colección: | Programming and Software Engineering,
7866
|
Temas: | |
Acceso en línea: | Texto Completo
|