Formal Methods and Software Engineering, Fachbücher von Shengchao Qin, Zongyan Qiu
"Formal Methods and Software Engineering" ist eine umfassende Sammlung von Fachbeiträgen, die die Ergebnisse der 13. Internat... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer