Software Engineering and Formal Methods, Fachbücher von Bernhard Rumpe, Radu Calinescu, Domenico Bianculli
53,49 €
Das Buch "Software Engineering and Formal Methods" bietet eine umfassende Sammlung von überarbeiteten und ausgewählten Beiträgen aus den Workshops, die im Rahmen der SEFM 2015-Konferenz für Software Engineering und formale Methoden stattfanden. Diese Konferenz fand im September 2015 in York, Grossbritannien, statt und brachte Fachleute aus der Industrie sowie der akademischen Welt zusammen. Die 25 in diesem Band enthaltenen Artikel wurden aus 32 eingereichten Arbeiten sorgfältig ausgewählt und bieten wertvolle Einblicke in aktuelle Trends und Herausforderungen im Bereich der Softwaretechnik und formalen Methoden. Die Workshops förderten eine interaktive und kollaborative Atmosphäre, in der neue Ideen und Ansätze diskutiert wurden. Die behandelten Themen reichen von der Automatisierung der Testfallgestaltung bis hin zu menschlich orientierten formalen Methoden und der Verifikation von selbstorganisierenden Systemen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
