Formal Aspects of Component Software, Fachbücher von Jinyun Xue, Zhiming Liu, Jose Luiz Fiadeiro
53,49 €
"Formal Aspects of Component Software" ist eine Sammlung von überarbeiteten und ausgewählten Beiträgen des 10. Internationalen Symposiums zu formalen Aspekten von Komponenten-Software, das 2013 in Nanchang, China, stattfand. Diese Publikation umfasst 19 vollständige Artikel und drei eingeladene Vorträge, die aus insgesamt 51 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die behandelten Themen konzentrieren sich darauf, wie formale Methoden genutzt werden können, um die komponentenbasierte Entwicklung an die modernen Architekturen und die zunehmend komplexen Systeme anzupassen, die in der heutigen sozioökonomischen Welt verbreitet sind. Die Beiträge bieten wertvolle Einblicke in die Herausforderungen und Lösungen, die mit der Anwendung formaler Methoden in der Softwareentwicklung verbunden sind, und richten sich an Fachleute und Forscher, die sich mit der Verbesserung der Softwarequalität und -zuverlässigkeit befassen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
