Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / [electronic resource] :
edited by Juan de Lara, Detlef Plump.
- 1st ed. 2017.
- XIV, 231 p. 76 illus. online resource.
- Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science 10373 10373 .
- Theoretical Computer Science and General Issues ; 10373 Lecture Notes in Computer Science ; 10373 .
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.
9783319614700
10.1007/978-3-319-61470-0 doi
Computer science—Mathematics.
Algorithms.
Programming languages (Electronic computers).
Computer programming.
Data structures (Computer science).
Computer system failures.
Discrete Mathematics in Computer Science.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Data Structures.
System Performance and Evaluation.
QA76.9.M35
004.0151
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.
9783319614700
10.1007/978-3-319-61470-0 doi
Computer science—Mathematics.
Algorithms.
Programming languages (Electronic computers).
Computer programming.
Data structures (Computer science).
Computer system failures.
Discrete Mathematics in Computer Science.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Data Structures.
System Performance and Evaluation.
QA76.9.M35
004.0151