Formal methods foundations and applications

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-2213638 ) e outros locais(Acessar)

Título:
Formal methods foundations and applications
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: <http://dx.doi.org/10.1007/978-3-642-33296-8>. 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: 291 p.
Idioma: Inglês

Links

Voltar para lista de resultados

Resultado 1