Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia
53,49 €
Das Buch "Verified Software: Theories, Tools, and Experiments" ist eine umfassende Sammlung von Beiträgen, die aus den sorgfältig begutachteten Nachberichten der 7. Internationalen Konferenz über verifiziertes Software-Engineering hervorgegangen sind. Diese Konferenz fand im Juli 2015 in San Francisco, Kalifornien, USA, statt und zielt darauf ab, den aktuellen Stand der Wissenschaft und Technologie im Bereich der Softwareverifikation voranzutreiben. Die 12 überarbeiteten Volltexte, die aus 25 eingereichten Arbeiten ausgewählt wurden, bieten wertvolle Einblicke in die Entwicklung von Theorien, die Evolution von Werkzeugen sowie die experimentelle Validierung und grossangelegte Verifizierungsbemühungen. Die Beiträge fördern die Zusammenarbeit, die Vereinheitlichung von Theorien, die Integration von Werkzeugen und das formalisierte Fachwissen, um die Softwareverifikation zu verbessern.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
