Formal Methods in Software and Systems Modeling [Risorsa elettronica] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentz
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540318477
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3393