Hardware and Software: Verification and Testing, Fachbücher von Hana Chockler, Alan J. Hu
53,49 €
Das Buch "Hardware and Software: Verification and Testing" dokumentiert die Konferenzbeiträge der 4. Haifa Verification Conference, die vom 27. bis 30. Oktober 2008 in Haifa, Israel, stattfand. Diese internationale Konferenz bietet eine Plattform für führende Forscher und Praktiker im Bereich der formalen und dynamischen Verifikation von Hardware- und Softwaresystemen. In diesem Jahr verzeichnete die Konferenz einen signifikanten Anstieg der eingereichten Arbeiten, mit insgesamt 49 Beiträgen aus 19 verschiedenen Ländern. Nach einem strengen Begutachtungsprozess wurden 12 reguläre und 4 Tool-Papiere zur Präsentation und Veröffentlichung in diesem Band akzeptiert. Die Konferenz hebt die wachsende internationale Sichtbarkeit und Relevanz des Themas Verifikation hervor und bietet wertvolle Einblicke in aktuelle Forschungsergebnisse und Entwicklungen in diesem Bereich.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
