skip to main content
Primo Search
Search in: Busca Geral

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino

Berlin Springer London 2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4916 ) e outros locais(Acessar)

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

Buscando em bases de dados remotas. Favor aguardar.