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. Hardware and Software, Verification and Testing - Eyal Bin, Avi Ziv, Shmuel Ur od authora Eyal Bin, Avi Ziv, Shmuel Ur a nakladatelství za skvělé ceny na e-shopu Martinus. cz.
| Autor |
Eyal Bin, Avi Ziv, Shmuel Ur |
| Jazyk |
anglický |
| Počet stran |
244 |
| Rok vydání |
2007 |
| Typ |
filmy |
| Nakladatelství |
Springer Verlag |
