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

Saved in:
Bibliographic Details
Main Author: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (edición)
Format: Book
Language:English
Published: Berlín, Alemania : Springer, 2005, c2005
Series:(Lecture Notes in Computer Science)
Online Access:Ver documento en línea
Tags: Add Tag
No Tags, Be the first to tag this record!