Formal Aspects of Component Software, Fachbücher von Jinyun Xue, Zhiming Liu, Jose Luiz Fiadeiro
"Formal Aspects of Component Software" ist eine Sammlung von überarbeiteten und ausgewählten Beiträgen des 10. Internationale... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer