Graph Transformation Graph Transformation

Graph Transformation

12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

    • £35.99
    • £35.99

Publisher Description

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.
The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching.

GENRE
Computing & Internet
RELEASED
2019
1 July
LANGUAGE
EN
English
LENGTH
241
Pages
PUBLISHER
Springer International Publishing
SIZE
17.1
MB
Analysis and Correctness of Algebraic Graph and Model Transformations Analysis and Correctness of Algebraic Graph and Model Transformations
2011
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
2010
Programming Languages and Systems Programming Languages and Systems
2010
Functional and Logic Programming Functional and Logic Programming
2010
Interactive Theorem Proving Interactive Theorem Proving
2010
Automatic Program Development Automatic Program Development
2008