Avi Ziv – författare
Visar alla böcker från författaren Avi Ziv. Handla med fri frakt och snabb leverans.
4 produkter
Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
Häftad, 2007
569 kr
Lägg i varukorg
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 conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa …
Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
E-bok, 2007
734 kr
Lägg i varukorg
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 conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa …
Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Av Kedar Namjoshi, Andreas Zeller m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
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 presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 …
Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Av Avi Ziv, Andreas Zeller m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
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 presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 …
