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)
53.49 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
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, Maße: 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