Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings / [electronic resource] :
edited by Esther Guerra, Fernando Orejas.
- 1st ed. 2019.
- X, 231 p. 303 illus., 32 illus. in color. online resource.
- Theoretical Computer Science and General Issues, 11629 2512-2029 ; .
- Theoretical Computer Science and General Issues, 11629 .
Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching.
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.
9783030236113
10.1007/978-3-030-23611-3 doi
Computer science--Mathematics.
Discrete mathematics.
Algorithms.
Compilers (Computer programs).
Software engineering.
Computer programming.
Artificial intelligence--Data processing.
Discrete Mathematics in Computer Science.
Algorithms.
Compilers and Interpreters.
Software Engineering.
Programming Techniques.
Data Science.
QA76.9.M35 QA297.4
004.0151
Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching.
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.
9783030236113
10.1007/978-3-030-23611-3 doi
Computer science--Mathematics.
Discrete mathematics.
Algorithms.
Compilers (Computer programs).
Software engineering.
Computer programming.
Artificial intelligence--Data processing.
Discrete Mathematics in Computer Science.
Algorithms.
Compilers and Interpreters.
Software Engineering.
Programming Techniques.
Data Science.
QA76.9.M35 QA297.4
004.0151