| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465589703316 |
|
|
Titolo |
Graph Transformation [[electronic resource] ] : 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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 231 p. 303 illus., 32 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11629 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
| |