ISBN 9783540249368 books & textbook
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393)
Kreowski, Hans-Jörg Montanari, Ugo Orejas, Fernando Rozenberg, Grzegorz Taentzer, Gabriele
Springer /2005-02-09 Paperback / 448 Pages
isbn-10: 3540249362 / isbn-13: 9783540249368