Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Description

Publisher: Springer; 1 edition
Language: English
ISBN: 3540311874
Paperback: 388 pages
Data: March 14, 2006
Format: PDF
Description: Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory.

Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool environment. Finally the appendix covers the basics of category theory, signatures and algebras.

The book addresses both research scientists and graduate students in computer science, mathematics and engineering.

Download - (3 Mb)

$$ Buy "Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)" on Amazon $$

Download links for "Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)":


How to Download
You may need eMule or Bittorrent to download ebook torrents or emule links.

Report Dead Link
Please leave a comment to report dead links, so that someone else may update new links.

1. Ebooks list page : 1590
2. Fundamentals of Algebraic Graph Transformation
3. Public-Key Cryptography (Texts in Theoretical Computer Science. An EATCS Series)
4. Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
5. Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
6. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
7. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
8. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
9. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
10. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
11. Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
12. Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
13. Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
14. Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance (Texts in Theoretical Computer Science. An EATCS Series)
15. Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
16. [request_ebook] Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science