|
|
|
|
| LEADER |
00000nam a22000003i 4500 |
| 001 |
ebs14047126e |
| 003 |
EBZ |
| 006 |
m o d |||||| |
| 007 |
cr|unu|||||||| |
| 008 |
170620s2017 sz | o |||| 0|eng d |
| 020 |
|
|
|z 9783319614694
|
| 020 |
|
|
|a 9783319614700 (online)
|
| 035 |
|
|
|a (EBZ)ebs14047126e
|
| 040 |
|
|
|d EBZ
|
| 042 |
|
|
|a msc
|
| 050 |
|
4 |
|a QA76.9.M35
|
| 050 |
|
4 |
|a QA297.4
|
| 245 |
1 |
0 |
|a Graph Transformation
|h [electronic resource]
|b 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /
|c edited by Juan de Lara, Detlef Plump.
|
| 250 |
|
|
|a 1st ed. 2017.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 490 |
1 |
|
|a Theoretical Computer Science and General Issues,
|x 2512-2029 ;
|v 10373
|
| 520 |
|
|
|a This 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.
|
| 650 |
|
0 |
|a Computer science—Mathematics.
|
| 650 |
|
0 |
|a Discrete mathematics.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Compilers (Computer programs).
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Artificial intelligence—Data processing.
|
| 650 |
|
0 |
|a Electronic digital computers—Evaluation.
|
| 700 |
1 |
|
|a de Lara, Juan.
|e editor.
|0 (orcid)0000-0001-9425-6362
|1 https://orcid.org/0000-0001-9425-6362
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Plump, Detlef.
|e editor.
|0 (orcid)0000-0002-1148-822X
|1 https://orcid.org/0000-0002-1148-822X
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer Computer Science eBooks 2017 English/International
|d Springer Nature
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319614694
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319614717
|
| 776 |
1 |
|
|t Graph Transformation
|
| 830 |
|
0 |
|a Theoretical Computer Science and General Issues,
|x 2512-2029 ;
|v 10373
|
| 856 |
4 |
0 |
|y Access Content Online(from Springer Computer Science eBooks 2017 English/International)
|u https://ezproxy.msu.edu/login?url=https://link.springer.com/10.1007/978-3-319-61470-0
|z Springer Computer Science eBooks 2017 English/International: 2017
|
