LEADER 03263nam  22007335  450 
001 996466454703316
005 20230222181147.0
010   $a3-319-61470-3
024 7 $a10.1007/978-3-319-61470-0
035   $a(CKB)4340000000061604
035   $a(DE-He213)978-3-319-61470-0
035   $a(MiAaPQ)EBC5576550
035   $a(PPN)203668561
035   $a(EXLCZ)994340000000061604
100   $a20170620d2017      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aGraph Transformation$b[electronic resource] $e10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /$fedited by Juan de Lara, Detlef Plump
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIV, 231 p. 76 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10373
311   $a3-319-61469-X 
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10373
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aAlgorithms
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aArtificial intelligence?Data processing
606   $aElectronic digital computers?Evaluation
606   $aDiscrete Mathematics in Computer Science
606   $aAlgorithms
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aData Science
606   $aSystem Performance and Evaluation
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aAlgorithms.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aArtificial intelligence?Data processing.
615  0$aElectronic digital computers?Evaluation.
615 14$aDiscrete Mathematics in Computer Science.
615 24$aAlgorithms.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aData Science.
615 24$aSystem Performance and Evaluation.
676   $a511.5
702   $ade Lara$b Juan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPlump$b Detlef$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466454703316
996   $aGraph Transformation$92896451
997   $aUNISA