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.

Inhaltsverzeichnis

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.

Zusammenfassung

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.

Produktdetails

• Mitarbeit: Holger Giese (Herausgeber), Barbara König (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 04.08.2014
• EAN: 9783319091075
• ISBN: 978-3-31-909107-5
• Seiten: 285
• Abmessung: 165 mm x 235 mm x 17 mm
• Gewicht: 458 g
• Illustration: XII, 285 p. 110 illus.
• Serien: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik; 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