skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]

Adenilso da Silva Simão Carroll Morgan

Science of Computer Programming Amsterdam : Elsevier, 2014 v. 92, part B, p. 85, out 2014

Amsterdam Elsevier 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2668328 )(Acessar)

Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  9 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.