Hardware and Software: Verification and Testing, Fachbücher von Armin Biere, Tanja E. J. Vos, Amir Nahir
Das Buch "Hardware and Software: Verification and Testing" präsentiert die überarbeiteten Beiträge der 8. Internationalen Hai... Mehr erfahren
Finde die besten Angebote
Bester Preis24 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer