skip to main content
Idioma:

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings

International Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy Gibbons

Berlin Springer 2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4591 )(Acessar)

Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  5 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.