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.

Sommario

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.

Riassunto

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.

Dettagli sul prodotto

• Con la collaborazione di: Holger Giese (Editore), Barbara König (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 04.08.2014
• EAN: 9783319091075
• ISBN: 978-3-31-909107-5
• Pagine: 285
• Dimensioni: 165 mm x 235 mm x 17 mm
• Peso: 458 g
• Illustrazioni: XII, 285 p. 110 illus.
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; 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