LEADER 03209nam  22007455  450 
001 996465589703316
005 20230221233606.0
010   $a3-030-23611-0
024 7 $a10.1007/978-3-030-23611-3
035   $a(CKB)4100000008527447
035   $a(DE-He213)978-3-030-23611-3
035   $a(MiAaPQ)EBC5926284
035   $a(PPN)238492761
035   $a(EXLCZ)994100000008527447
100   $a20190624d2019      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aGraph Transformation$b[electronic resource] $e12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15?16, 2019, Proceedings /$fedited by Esther Guerra, Fernando Orejas
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (X, 231 p. 303 illus., 32 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11629
311   $a3-030-23610-2 
327   $aTheory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11629
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aAlgorithms
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer programming
606   $aArtificial intelligence?Data processing
606   $aDiscrete Mathematics in Computer Science
606   $aAlgorithms
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aData Science
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aAlgorithms.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aArtificial intelligence?Data processing.
615 14$aDiscrete Mathematics in Computer Science.
615 24$aAlgorithms.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aData Science.
676   $a511.5
702   $aGuerra$b Esther$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aOrejas$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465589703316
996   $aGraph Transformation$92896451
997   $aUNISA