Hardware and Software, Verification and Testing - Eyal Bin, Avi Ziv, Shmuel Ur
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures are organized in three topical tracks… Celý popis ↓
Porovnanie cien Hardware and Software, Verification and Testing - Eyal Bin, Avi Ziv, Shmuel Ur
Popis Hardware and Software, Verification and Testing - Eyal Bin, Avi Ziv, Shmuel Ur
Hardware and Software, Verification and Testing - Eyal Bin, Avi Ziv, Shmuel Ur
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.
Parametre
- Autor
- Eyal Bin, Avi Ziv, Shmuel Ur
- Jazyk
- anglické
- Počet strán
- 244
- Rok vydania
- 2007
Podobné produkty
Complete A+ Guide to IT Hardware and Software
