Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / / edited by Holger Giese, Barbara König
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / / edited by Holger Giese, Barbara König
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Edizione: | 1st ed. 2014. |
| Descrizione fisica: | 1 online resource (XII, 285 p. 110 illus.) |
| Disciplina: | 511.5 |
| Soggetto topico: | Computer science—Mathematics |
| Discrete mathematics | |
| Software engineering | |
| Artificial intelligence—Data processing | |
| Computer science | |
| Algorithms | |
| Machine theory | |
| Discrete Mathematics in Computer Science | |
| Software Engineering | |
| Data Science | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| Persona (resp. second.): | GieseHolger |
| KönigBarbara | |
| Note generali: | Includes index. |
| Nota di contenuto: | Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. |
| Sommario/riassunto: | This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications. |
| Titolo autorizzato: | Graph Transformation |
| ISBN: | 3-319-09108-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910481956003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 8571