Cover of Christiano Braga (EDT), Peter Csaba Olveczky (EDT): Formal Aspects of Component Software

Christiano Braga (EDT), Peter Csaba Olveczky (EDT) Formal Aspects of Component Software

12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

New

E-book delivered electronically online

E-Book information

Springer International Publishing

2016

PDF
How do I buy e-book?

978-3-319-28934-2

3-319-28934-9

Annotation

This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteri, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely quality of service to withstand faults,component-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification.

Ask question

You can ask us about this book and we'll send an answer to your e-mail.