Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Author: Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2005
Page: 420
ISBN: 3540249362,9783540249368
File Type: pdf
File Size: 4.3 MiB

Just click on START button on Telegram Bot