| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466454703316 |
|
|
Titolo |
Graph Transformation [[electronic resource] ] : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / / edited by Juan de Lara, Detlef Plump |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 231 p. 76 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10373 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science—Mathematics |
Discrete mathematics |
Algorithms |
Compilers (Computer programs) |
Computer programming |
Artificial intelligence—Data processing |
Electronic digital computers—Evaluation |
Discrete Mathematics in Computer Science |
Compilers and Interpreters |
Programming Techniques |
Data Science |
System Performance and Evaluation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
| |