Rachel Tzoref-Brill - Böcker
Visar alla böcker från författaren Rachel Tzoref-Brill. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 10629 - Lecture Notes in Computer Science
Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Häftad, Engelska, 2017
552 kr
Skickas inom 10-15 vardagar
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 with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions.