Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 2
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoLIU, S.; MAIBAUM, T.; ARAKI, K. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Springer eBooks. v.: digital Lecture Notes in Computer Science,5256

Biblioteca(s): Ebooks.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
2.Imagem marcado/desmarcadoCUELLAR, J.; MAIBAUM, T.; SERE, K. FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings Springer eBooks. v.: digital Lecture Notes in Computer Science,5014

Biblioteca(s): Ebooks.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
Registros recuperados : 2
Primeira ... 1 ... Última
Expressão de busca inválida. Verifique!!!
Expressão de busca inválida. Verifique!!!
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional