Vai al contenuto principale della pagina
Titolo: | Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / / edited by Esther Guerra, Fernando Orejas |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Edizione: | 1st ed. 2019. |
Descrizione fisica: | 1 online resource (X, 231 p. 303 illus., 32 illus. in color.) |
Disciplina: | 511.5 |
Soggetto topico: | Computer science—Mathematics |
Discrete mathematics | |
Algorithms | |
Compilers (Computer programs) | |
Software engineering | |
Computer programming | |
Artificial intelligence—Data processing | |
Discrete Mathematics in Computer Science | |
Compilers and Interpreters | |
Software Engineering | |
Programming Techniques | |
Data Science | |
Persona (resp. second.): | GuerraEsther |
OrejasFernando | |
Nota di contenuto: | Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching. |
Sommario/riassunto: | This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019. The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching. |
Titolo autorizzato: | Graph Transformation |
ISBN: | 3-030-23611-0 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910337860103321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |