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: 9783540249368,3540249362
File Type: pdf
File Size: 5.1 MiB

Just click on START button on Telegram Bot