Hardware and Software: Verification and Testing: Third International Haifa Verif
68,34 €
HVC isa forumfor researchers from both industry and academia to share and advance knowledge in the veri?cation of hardware and software systems. Academic research in veri?cation is generally divided into two paradigms - formal veri?cation and dynamic veri?cation (testing).
Jetzt bei Ebay:
