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.

By:

Giese, Holger [editor.]

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Computer Science ; 8571Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Description: XII, 285 p. 110 illus. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319091082

Subject(s):

Additional physical formats: Printed edition:: No titleDDC classification:

004.0151 23

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.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Book	Central Library		Available		E-41949

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.