Hardware and Software : Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ...
Edición de la obra Hardware and Software: Verification and Testing
| Autor | Armin Biere, Amir Nahir, Tanja Vos |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 19, 2013 |
| Páginas | 293 |
| Formato | paperback |
| ISBN-13 | 9783642396106 |
| ISBN-10 | 3642396100 |
| LCCN | 2013943016 |
| Número de Cutter |