skip to main content

Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Ugo Montanari; F Orejas (Fernando); Grzegorz Rozenberg; Gabriele Taentzer; Hartmut Ehrig; H.-J Kreowski (Hans-J org)

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

Buscando em bases de dados remotas. Favor aguardar.