Mostrando 1 - 1 resultados de 1 para a busca '"CNPQ CIENCIAS EXATAS E DA TERRA"', tempo de busca: 0,14s
  • Exportar CSV
  • Export RIS

    • 1

    Assuntos: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

    Formal verification of PLC programs using the B Method

    Publicado em 2012
    Acessar documento
    Dissertação