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), Band 3393)
von:
Ugo Montanari
·
Gabriele Taentzer
·
Fernando Orejas
·
Grzegorz Rozenberg
·
Hans-Jörg Kreowski
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-24936-8
ISBN-10: 3-540-24936-2
Springer
· 2008