Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,39
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 272 pages. 9.25x6.10x0.67 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030409139 ISBN 13: 9783030409135
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly revised selected papers from the16th International Conference on Formal Aspects of Component Software,FACS 2019, held in Amsterdam, The Netherlands, in October 2019.The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions.FACS 2019 is concerned with how formal methods can be used to makecomponent-based and service-oriented software development succeed.Formal methods have provided a foundation for component-based softwareby successfully addressing challenging issues such as mathematicalmodels for components, composition and adaptation, or rigorousapproaches to verification, deployment, testing, and certification.
Taschenbuch. Zustand: Neu. Formal Aspects of Component Software | 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings | Farhad Arbab (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2020 | Springer | EAN 9783030409135 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.