EAN: 9783030021450

Bilder-Quelle: discount24.de - Sport-Freizeit

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software FACS 2018 held in Pohang South Korea in October 2018. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components composition and adaptation or rigorous approaches to verification deployment testing and certification.

Produktinformationen zuletzt aktualisiert am
21.03.2025 um 20:50 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

(Preise zuletzt aktualisiert am: 21.03.2025 um 18:05 Uhr)

Die Preise und Versandkosten können sich seit der letzten Aktualisierung beim jeweiligen Händler verändert haben.
Alle Preise sind Angaben des jeweiligen Anbieters inklusive Umsatzsteuer, zzgl. Versand - alle Angaben ohne Gewähr.

Grundpreise werden angezeigt und berechnet sofern möglich in Abhängigkeit eindeutiger und auslesbarer Daten
aus dem Produktnamen des jeweiligen Produktes und dem vom Shop angegeben Verkaufspreises des Produktes.