Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg.
Material type:
TextSeries: Lecture Notes in Computer Science ; 7562Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Description: XII, 427 p. 166 illus. online resourceContent type: - text
- computer
- online resource
- 9783642336546
- 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 Languages
- 004.0151 23
- QA76.9.M35
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK10521 |
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
There are no comments on this title.