登入選單
返回Google圖書搜尋
Graph Transformation
Juan de LaraDetlef Plump
其他書名
10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
出版Springer, 2017-07-03
主題Computers / Computer ScienceMathematics / Discrete MathematicsComputers / Programming / AlgorithmsComputers / Programming / CompilersComputers / Programming / GeneralComputers / Database Administration & ManagementComputers / Artificial Intelligence / GeneralComputers / Computer ArchitectureComputers / Information TechnologyComputers / Software Development & Engineering / Systems Analysis & Design
ISBN33196147039783319614700
URLhttp://books.google.com.hk/books?id=WpwqDwAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋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.