03206nam 22007575 450 991033786010332120230221233606.03-030-23611-010.1007/978-3-030-23611-3(CKB)4100000008527447(DE-He213)978-3-030-23611-3(MiAaPQ)EBC5926284(PPN)238492761(EXLCZ)99410000000852744720190624d2019 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierGraph 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 Orejas1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (X, 231 p. 303 illus., 32 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;116293-030-23610-2 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.Theoretical Computer Science and General Issues,2512-2029 ;11629Computer science—MathematicsDiscrete mathematicsAlgorithmsCompilers (Computer programs)Software engineeringComputer programmingArtificial intelligence—Data processingDiscrete Mathematics in Computer ScienceAlgorithmsCompilers and InterpretersSoftware EngineeringProgramming TechniquesData ScienceComputer 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.511.5511.5Guerra Estheredthttp://id.loc.gov/vocabulary/relators/edtOrejas Fernandoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337860103321Graph Transformation2896451UNINA