Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers - Couverture souple

 
9783642272684: Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Couverture souple
ISBN 10 : 3642272681 ISBN 13 : 9783642272684
Editeur : Springer, 2012

Synopsis

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, F.A.C.S. 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
3642272681
ISBN 13 
9783642272684
Reliure
Broché
Nombre de pages
316
Éditeur
Barbosa Luis Soares, Lumpe Markus
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783642272707: Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Edition présentée

ISBN 10 :  3642272703 ISBN 13 :  9783642272707
Editeur : Springer, 2012
Couverture souple