Hardware and Software: Verification and Testing, Fachbücher von Armin Biere, Tanja E. J. Vos, Amir Nahir
49,22 €
Das Buch "Hardware and Software: Verification and Testing" präsentiert die überarbeiteten Beiträge der 8. Internationalen Haifa Verification Conference, die im November 2012 in Haifa, Israel, stattfand. Es umfasst 18 sorgfältig ausgewählte Volltexte sowie 3 Posterpräsentationen, die aus insgesamt 36 eingereichten Arbeiten hervorgegangen sind. Die Beiträge bieten wertvolle Einblicke in die zukünftigen Entwicklungen im Bereich der Test- und Verifikationsmethoden für Hardware, Software und komplexe hybride Systeme. Die Konferenz hat sich als Plattform etabliert, um innovative Ansätze und Techniken zu diskutieren, die für die Gewährleistung der Zuverlässigkeit und Sicherheit moderner Systeme von entscheidender Bedeutung sind. Die gesammelten Arbeiten sind ein unverzichtbares Nachschlagewerk für Fachleute und Forscher, die sich mit den Herausforderungen und Lösungen in der Verifikation und dem Testen von Systemen auseinandersetzen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
