skip to main content

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard Banach

Berlin Springer New York c2005

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.3785 ) Disponível na Biblioteca
Expandir IME - Inst. Matemática e Estatística localizações IME - Inst. Matemática e Estatística (S L471c v.3785 ) Disponível na Biblioteca

Buscando em bases de dados remotas. Favor aguardar.