Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings /
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / [electronic resource] :
edited by Holger Giese, Barbara König.
- 1st ed. 2014.
- XII, 285 p. 110 illus. online resource.
- Theoretical Computer Science and General Issues, 8571 2512-2029 ; .
- Theoretical Computer Science and General Issues, 8571 .
Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications.
This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.
9783319091082
10.1007/978-3-319-09108-2 doi
Computer science--Mathematics.
Discrete mathematics.
Software engineering.
Artificial intelligence--Data processing.
Computer science.
Algorithms.
Machine theory.
Discrete Mathematics in Computer Science.
Software Engineering.
Data Science.
Computer Science Logic and Foundations of Programming.
Algorithms.
Formal Languages and Automata Theory.
QA76.9.M35 QA297.4
004.0151
Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications.
This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.
9783319091082
10.1007/978-3-319-09108-2 doi
Computer science--Mathematics.
Discrete mathematics.
Software engineering.
Artificial intelligence--Data processing.
Computer science.
Algorithms.
Machine theory.
Discrete Mathematics in Computer Science.
Software Engineering.
Data Science.
Computer Science Logic and Foundations of Programming.
Algorithms.
Formal Languages and Automata Theory.
QA76.9.M35 QA297.4
004.0151