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 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540318477 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009240590403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Graph Transformations [Risorsa elettronica] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540874058 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009257050403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|