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

Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings

International Conference on Integrated Formal Methods (4th 2004 Canterbury, England) Eerke Boiten 1966; John Derrick 1963; Graeme Smith 1966

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

Expandir ICMC - Inst. Ciên. Mat. Computação localizações ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2999 ) Disponível na Biblioteca
Expandir IME - Inst. Matemática e Estatística localizações IME - Inst. Matemática e Estatística (S L471c v.2999 ) Disponível na Biblioteca
Voltar para lista de resultados

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

Buscando em bases de dados remotas. Favor aguardar.