Idioma:

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

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

Título:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]
Autor: Adenilso da Silva Simão
Carroll Morgan
Assuntos: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
É parte de: Science of Computer Programming Amsterdam : Elsevier, 2014 v. 92, part B, p. 85, out 2014
Notas: Disponível em: <http://dx.doi.org/10.1016/j.scico.2014.02.004>. Acesso em: 28 jan. 2014
Editor: Amsterdam Elsevier
Data de criação/publicação: 2014
Formato: p. 85.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 10 Avançar Ir para próxima página