Formal aspects of component software: 10th international symposium, facs 2013, nanchang, china, october 27-29, 2013, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319076010
Date de publication :
30 juil. 2014
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.