2 Ebooks door Eyal Bin
Eyal Bin & Shmuel Ur: Hardware and Software, Verification and Testing
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops …
PDF
Engels
DRM
€57.65
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
Engels
DRM
€57.82
