Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

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.

List of contents

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.

Summary

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.

Product details

• Assisted by: Holger Giese (Editor), Barbara König (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 04.08.2014
• EAN: 9783319091075
• ISBN: 978-3-31-909107-5
• No. of pages: 285
• Dimensions: 165 mm x 235 mm x 17 mm
• Weight: 458 g
• Illustrations: XII, 285 p. 110 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Data Science, Software Engineering, Algorithms, computer science, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Algorithms & data structures, Mathematical theory of computation, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Data structures (Computer science), Data Structures, Computer architecture & logic design, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory