Idioma:

This volume contains the papers presented at SBMF 2010... [Prefácio]

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2220867 ) e outros locais(Acessar)

Título:
This volume contains the papers presented at SBMF 2010... [Prefácio]
Autor: Jim Davies
Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)
Assuntos: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
É parte de: Proceedings Heidelberg : Springer
Notas: Disponível em: . Acesso em: 4 out. 2011
Títulos relacionados: Série:Lecture Notes in Computer Science 6527
Editor: Heidelberg Springer
Data de criação/publicação: 2011
Formato: 1 p.
Idioma: Inglês

Links

Voltar para lista de resultados