Graph transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014. Proceedings / Holger Giese, Barbara König (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 8571. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham : Springer, 2014Description: 1 online resource (xii, 285 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319091082
- 3319091085
- ICGT 2014
- 511/.5 23
- QA166
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed July 15, 2014).
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.
English.