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.