skip to main content
Idioma:
Refinado por: Nome da Publicação: Proceedings remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
This volume contains the papers presented at SBMF 2010... [Prefácio]
This volume contains the papers presented at SBMF 2010... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

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

Heidelberg Springer 2011

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

2
Formal methods foundations and applications
Formal methods foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

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

Heidelberg Springer 2011

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Silva, L
  2. Brazilian Symposium on Formal Methods - SBMF
  3. Davies, J
  4. Simão, A

Neste Assunto:

  1. Engenharia De Software
  2. Sistemas De Informação

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

Buscando em bases de dados remotas. Favor aguardar.