Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

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: TextTextSeries: Lecture Notes in Computer SciencePublication details: Cham : Springer International Publishing : Imprint: Springer, 2014Description: XII, 285 p. 110 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783319091082Subject(s): Computer Science | Software engineering | Data structures (Computer science) | Computer software | Logic design | Computational complexity | Computer Science | Discrete Mathematics in Computer Science | Software Engineering | Data Structures | Logics and Meanings of Programs | Algorithm Analysis and Problem Complexity | Mathematical Logic and Formal LanguagesDDC classification: 004.0151 LOC classification: QA76.9.M35 Online resources: Click here to access online
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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 on this title.

to post a comment.