Model Checking Software, Fachbücher von Corina S. Pasareanu
53,49 €
Das Buch "Model Checking Software" dokumentiert die refereed Proceedings des 16. Internationalen SPIN Workshops, der im Juni 2009 in Grenoble, Frankreich, stattfand. Es umfasst eine sorgfältige Auswahl von 15 überarbeiteten Volltexten, 3 Tool-Papieren und 4 eingeladenen Vorträgen, die aus insgesamt 41 eingereichten Arbeiten ausgewählt wurden. Die behandelten Themen reichen von theoretischen und algorithmischen Grundlagen bis hin zu praktischen Werkzeugen für die Software-Modellprüfung. Die Beiträge bieten Einblicke in theoretische Fortschritte sowie empirische Bewertungen, die sich auf Techniken zur Zustandsraum- und Pfadexploration konzentrieren, wie sie in Softwareverifikationswerkzeugen implementiert sind. Dieses Werk ist eine wertvolle Ressource für Fachleute und Forscher im Bereich der Softwareverifikation und Modellprüfung.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
