Fundamentals of Algebraic Graph Transformation
| Autor: | Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
|---|---|
| EAN: | 9783540311881 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 01.05.2006 |
| Kategorie: | |
| Schlagworte: | Constraint category theory computer computer science formal specification techniques graph transformation modeling model transformation petri net replacement systems |
117,69 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.
Verwandte Artikel