Formal Methods for Components and Objects : 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Giachino, Elena (EDT); Hähnle, Reiner (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
ISBN 10: 3642406149 ISBN 13: 9783642406140
Edité par Springer, 2013
Neuf(s)
Couverture souple
Vendeur
GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 6 avril 2009
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
N° de réf. du vendeur 20068463-n
Synopsis :
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 book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Formal Methods for Components and Objects : ...
Éditeur : Springer
Date d'édition : 2013
Reliure : Couverture souple
Etat : New