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.

Table des matières

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.

Résumé

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.

Détails du produit

• Collaboration: Holger Giese (Editeur), Barbara König (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 04.08.2014
• EAN: 9783319091075
• ISBN: 978-3-31-909107-5
• Pages: 285
• Dimensions: 165 mm x 235 mm x 17 mm
• Poids: 458 g
• Illustrations: XII, 285 p. 110 illus.
• Thèmes: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; 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