Software Engineering and Formal Methods, Fachbücher von George Eleftherakis, Mike Hinchey, Mike Holcombe
53,49 €
Das Buch "Software Engineering and Formal Methods" dokumentiert die referierten Beiträge der 10. Internationalen Konferenz für Software Engineering und formale Methoden (SEFM 2012), die im Oktober 2012 in Thessaloniki, Griechenland, stattfand. Es umfasst 19 überarbeitete Forschungsarbeiten, ergänzt durch 3 Kurzbeiträge, 2 Werkzeugpapiere und 2 eingeladene Vorträge. Diese Arbeiten wurden sorgfältig aus 98 vollständigen Einreichungen ausgewählt und bieten einen umfassenden Überblick über aktuelle Entwicklungen im Bereich der formalen Methoden. Die Konferenz zielt darauf ab, den Stand der Technik in formalen Methoden voranzutreiben, deren Skalierbarkeit und Benutzerfreundlichkeit in der Softwareindustrie zu verbessern und deren Integration mit praktischen Ingenieurmethoden zu fördern. Dieses Buch ist eine wertvolle Ressource für Fachleute und Forscher, die sich mit den neuesten Trends und Herausforderungen in der Softwareentwicklung auseinandersetzen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
