Formal Methods and Software Engineering, Fachbücher von Shengchao Qin, Zongyan Qiu
53,49 €
"Formal Methods and Software Engineering" ist eine umfassende Sammlung von Fachbeiträgen, die die Ergebnisse der 13. Internationalen Konferenz zu Formal Engineering Methods (ICFEM 2011) dokumentiert. Diese Konferenz fand im Oktober 2011 in Durham, Grossbritannien, statt und versammelte Experten aus dem Bereich der formalen Methoden und Softwaretechnik. Die 40 überarbeiteten Volltexte sowie drei eingeladene Vorträge wurden aus 103 eingereichten Arbeiten sorgfältig ausgewählt und bieten einen tiefen Einblick in aktuelle Herausforderungen und Entwicklungen in diesem Fachgebiet. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit formalen Modellen, Modellprüfung, Spezifikation und Entwicklung, Sicherheit, formaler Verifikation, cyber-physischen Systemen, Event-B, Verifikation, Analyse und Test sowie Theorembeweisen und Umformungen befassen. Dieses Buch ist eine wertvolle Ressource für Fachleute und Studierende, die sich mit den neuesten Fortschritten in der Softwaretechnik und den formalen Methoden auseinandersetzen möchten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
