skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Oliveira, José Nuno ; Zave, Pamela Zave, Pamela ; Oliveira, José Nuno

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  4 AvançarIr para próxima página

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

Buscando em bases de dados remotas. Favor aguardar.