Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / edited by Holger Giese, Barbara König.
Contributor(s): Giese, Holger [editor.]
| König, Barbara [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 8571Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Edition: 1st ed. 2014.Description: XII, 285 p. 110 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319091082.Subject(s): 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 TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online 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.
There are no comments for this item.