Autor: Rachel Tzoref-Brill

Soporte

1 Ebooks de 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
Inglés
DRM
€57.96