Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
-
- 42,99 €
-
- 42,99 €
Beschreibung des Verlags
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. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
GENRE
Computer und Internet
ERSCHIENEN
2014
12. Juni
SPRACHE
EN
Englisch
UMFANG
395
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
9,8
MB
Coordination Models and Languages
2017
Software Engineering and Formal Methods
2014
Software Engineering and Formal Methods
2017
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Coordination Models and Languages
2020
Formal Methods and Software Engineering
2018