Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015.
The 15 full papers and 2 invited papers presented in...
The 15 full papers and 2 invited papers presented in...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Formal Aspects of Component Software “
Klappentext zu „Formal Aspects of Component Software “
This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, 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.
Inhaltsverzeichnis zu „Formal Aspects of Component Software “
Quality of service to withstand faults.- Component-based software development through research on mathematical models for components.- Composition and adaptation.- Rigorous approaches to verification, deployment, testing, and certification.
Bibliographische Angaben
- 2016, 1st ed. 2016, X, 331 Seiten, 331 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Christiano Braga, Peter Csaba Ölveczky
- Verlag: Springer, Berlin
- ISBN-10: 3319289330
- ISBN-13: 9783319289335
- Erscheinungsdatum: 30.01.2016
Sprache:
Englisch
Kommentar zu "Formal Aspects of Component Software"
0 Gebrauchte Artikel zu „Formal Aspects of Component Software“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Aspects of Component Software".
Kommentar verfassen