Hardware and Software, Verification and Testing: Second International Haifa Verification | Kaicus Deutschland

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... Notes in Computer Science, 4383, Band 4383)

53.49 EUR 9% Off 59.00 EUR

Ein Fachband aus der zweiten Haifa-Verifikationskonferenz, der aktuelle Forschung zu Hardware‑ und Softwareprüfung zusammenfasst; praxisnahe Fallstudien, theoretische Modelle und innovative Testmethoden werden detailliert erläutert.

Marke: Eyal Bin
ISBN: 354070888X
MPN: biography