ผู้เขียน: Rachel Tzoref-Brill

สนับสนุน

1 หนังสืออิเล็กทรอนิกส์โดย 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
อังกฤษ
DRM
€57.82