Isbn: 9783319289335 - formal aspects of component software: 12th international conference, facs 2015, niterói, brazil, october 14-16, 2015, revised selected papers (programming and software engineering, band 9539) (5 Ergebnisse)

Zustand: New. In English.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Zustand: Neu. Formal Aspects of Component Software | 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers | Christiano Braga (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319289335 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. revised edition. 344 pages. 9.25x6.10x0.78 inches. In Stock.