Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia
Das Buch "Verified Software: Theories, Tools, and Experiments" ist eine umfassende Sammlung von Beiträgen, die aus den sorgfä... 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 "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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer