Hardware and Software: Verification and Testing, Fachbücher von Nir Piterman
51,36 €
Das Buch "Hardware and Software: Verification and Testing" ist eine Sammlung von ausgewählten Beiträgen der 11. Internationalen Haifa Verification Conference, die im November 2015 in Haifa, Israel, stattfand. Es umfasst 17 überarbeitete Volltexte und 4 eingeladene Vorträge, die aus einer Vielzahl von Einreichungen sorgfältig ausgewählt wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten der Verifikation und Testung von Hard- und Software befassen. Zu den behandelten Themen gehören hybride Systeme, Werkzeuge, die Verifikation von Robotik, symbolische Ausführung, Modellprüfung, zeitabhängige Systeme, SAT-Lösung, multidimensionale Verifikation und Synthese. Dieses Fachbuch richtet sich an Fachleute und Forscher, die sich mit den neuesten Entwicklungen in der Verifikationstechnologie auseinandersetzen möchten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
