2 Ebook di Avi Ziv
Eyal Bin & Shmuel Ur: Hardware and Software, Verification and Testing
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23-26, 2006. The verification confere …
PDF
Inglese
DRM
€57.82
Kedar Namjoshi & Andreas Zeller: Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers pres …
PDF
Inglese
DRM
€57.99
