Hardware and Software: Verification and Testing, Fachbücher von Nir Piterman
Das Buch "Hardware and Software: Verification and Testing" ist eine Sammlung von ausgewählten Beiträgen der 11. International... Mehr erfahren
Finde die besten Angebote
Bester Preis25 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer