Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... Notes in Computer Science, Band 8855)

53.49 EUR

Dieses Sammelwerk der 10. Haifa Verification Conference beleuchtet neueste Ansätze zur Verifikation von Hardware‑ und Software­systemen, verbindet mathematische Modelle mit praktischen Testmethoden und bietet einen tiefen Einblick in aktuelle Forschungsfragen.

Teilen: