版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
丛 书 名:Lecture Notes in Computer Science
版本说明:1
I S B N:(纸本) 9783319614694
出 版 社:Springer Cham
出 版 年:1000年
页 数:XIV, 231页
主 题 词:Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity Programming Languages, Compilers, Interpreters Programming Techniques Data Structures System Performance and Evaluation
摘 要: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.