
Hardware and Software : Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ...
Edición de la obra Hardware and Software : Verification and Testing
| Autor | Ofer Strichman, Rachel Tzoref-Brill |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Nov 12, 2017 |
| Páginas | 275 |
| Formato | paperback |
| ISBN-13 | 9783319703886 |
| ISBN-10 | 3319703889 |
| Número de Cutter | S916h |