Software Engineering and Formal Methods, Fachbücher von Mercedes G. Merayo, Mario Bravetti, Robert M. Hierons
53,49 €
Das Buch "Software Engineering and Formal Methods" dokumentiert die refereed Proceedings der 11. Internationalen Konferenz für Software Engineering und formale Methoden, die im September 2013 in Madrid, Spanien, stattfand. Es umfasst 21 vollständige Beiträge, die aus 58 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Beiträge sind in thematische Abschnitte unterteilt, die sich mit verschiedenen Aspekten der Softwaretechnik befassen, darunter Echtzeitsysteme, Verifikation, Typen und Inferenz, statische Analyse, Testen und Laufzeitverifikation sowie Synthese und Transformation. Diese Sammlung bietet wertvolle Einblicke in aktuelle Forschungsergebnisse und Entwicklungen im Bereich der Softwaretechnik und formalen Methoden.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
