Items related to Formal Aspects of Component Software: 12th International...
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture ... 9539) (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.
The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely 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.
"synopsis" may belong to another edition of this title.
Search results for Formal Aspects of Component Software: 12th International...
Seller Image
Formal Aspects of Component Software : 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 25225902-n
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture ... 9539) (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020092579
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture ... 9539) (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319289335_new
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niter�i, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319289335
Quantity: 10 available
Seller Image
Formal Aspects of Component Software : 12th International Conference, Facs 2015, NiterĂ i, Brazil, October 14-16, 2015, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 25225902-n
Quantity: Over 20 available
Seller Image
Formal Aspects of Component Software
Published by
Springer International Publishing Jan 2016, 2016
ISBN 10: 3319289330
ISBN 13: 9783319289335
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 344 pp. Englisch. Seller Inventory # 9783319289335
Quantity: 2 available
Seller Image
Formal Aspects of Component Software
Published by
Springer International Publishing, 2016
ISBN 10: 3319289330
ISBN 13: 9783319289335
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 109484108
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Published by
Springer-Verlag New York Inc, 2016
ISBN 10: 3319289330
ISBN 13: 9783319289335
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. revised edition. 344 pages. 9.25x6.10x0.78 inches. In Stock. Seller Inventory # x-3319289330
Quantity: 2 available
Seller Image
Formal Aspects of Component Software
ISBN 10: 3319289330
ISBN 13: 9783319289335
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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 faultscomponent-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch. Seller Inventory # 9783319289335
Quantity: 2 available
Seller Image
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Published by
Springer International Publishing, 2016
ISBN 10: 3319289330
ISBN 13: 9783319289335
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783319289335
Quantity: 1 available