von Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
MwSt. inbegriffen
Hamelyn Qualitätsgarantie · geprüft und verifiziert, oder Geld zurück
«Formal Aspects of Component Software» ist das Tagungsband der Konferenz FACS 2024, herausgegeben von Diego Marmsoler und Meng Sun (Springer, Taschenbuch).
Der Band vereint die ausgewählten Beiträge der zwanzigsten Ausgabe der Konferenz, die sich auf die formale Analyse von Komponentensoftware konzentrieren. Die acht Texte behandeln Verifikation und Tests, formale Modelle und Sicherheit mit Blockchain und zeigen aktuelle Ansätze für das Design und die Komposition von Softwaresystemen.
Band 15189 der Lecture Notes in Computer Science; Tagungsband der 20. Internationalen Konferenz FACS 2024, abgehalten in Mailand am 9. und 10. September 2024.
Für Forscher und Fachleute, die mit formalen Methoden, Softwareverifikation und Blockchain-Sicherheit arbeiten.
Tapa blanda
Tapa blanda
Tapa blanda
