Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Autor:
Roderick Bloem, Eli Arbel
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
276.36
lei
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen...