Eyal Bin – författare

Visar alla böcker från författaren Eyal Bin. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Hardware and Software, Verification and Testing

   First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

   Av Shmuel Ur, Eyal Bin m. fl.

   Häftad, 2006

   569 kr

   Lägg i varukorg

   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 that took place separately in previous years. The IBM Verification Workshop is now its sixth year, …

2. 

   Hardware and Software, Verification and Testing

   First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

   Av Yaron Wolfsthal, Eyal Bin m. fl.

   E-bok, 2006

   739 kr

   Lägg i varukorg

   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 that took place separately in previous years. The IBM Verification Workshop is now its sixth year, …

3. 

   Hardware and Software, Verification and Testing

   Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

   Av Eyal Bin, Avi Ziv m. fl.

   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 …

4. 

   Hardware and Software, Verification and Testing

   Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

   Av Shmuel Ur, Avi Ziv m. fl.

   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 …