Zum Inhalt springen

  1. Bin, Eyal [Herausgeber:in]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 2 2006 Haifa

    Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4383

  2. Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 1 2005 Haifa

    Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3875

  3. Bin, Eyal [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]

    Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4383

  4. Ur, Shmuel [Sonstige Person, Familie und Körperschaft]; Bin, Eyal [Sonstige Person, Familie und Körperschaft]; Wolfsthal, Yaron [Sonstige Person, Familie und Körperschaft]

    Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 3875