Software Engineering and Formal Methods, Fachbücher von George Eleftherakis, Mike Hinchey, Mike Holcombe
Das Buch "Software Engineering and Formal Methods" dokumentiert die referierten Beiträge der 10. Internationalen Konferenz fü... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer