Mostrando 1 - 3 resultados de 3 para a busca '' Refinar Resultados
  1. 1
    Publicado em 2009
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
  2. 2
    Publicado em 2007
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
  3. 3
    Publicado em 2008
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Hardware and software verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /

Ferramentas de busca: