Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
-
- €42.99
-
- €42.99
Publisher Description
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
Computing & Internet
RELEASED
2014
12 June
LANGUAGE
EN
English
LENGTH
395
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
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