skip to main content

Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943

Berlin Springer New York c2006

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

Buscando em bases de dados remotas. Favor aguardar.