Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
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.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٤
١٢ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٣٩٥
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٩٫٨
م.ب.
Coordination Models and Languages
٢٠١٧
Software Engineering and Formal Methods
٢٠١٤
Software Engineering and Formal Methods
٢٠١٧
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
٢٠١٦
Coordination Models and Languages
٢٠٢٠
Formal Methods and Software Engineering
٢٠١٨