Hardware and Software : Verification and Testing
4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Edición de la obra Hardware and Software : Verification and Testing
| Autor | Hana Chockler, Alan J. Hu |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642017025 |
| Número de Cutter | C545h |