1 E-böcker av Rachel Tzoref-Brill
Ofer Strichman & Rachel Tzoref-Brill: Hardware and Software: Verification and Testing
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together …
PDF
Engelska
DRM
€57.82
