109,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
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.
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.
| Erscheinungsjahr: | 2010 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 404 |
| Reihe: | Monographs in Theoretical Computer Science. An EATCS Series |
| Inhalt: |
xiii
390 S. |
| ISBN-13: | 9783642068317 |
| ISBN-10: | 3642068316 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Ehrig, Hartmut
Taentzer, Gabriele Prange, Ulrike Ehrig, Karsten |
| Auflage: | Softcover reprint of hardcover 1st ed. 2006 |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Monographs in Theoretical Computer Science. An EATCS Series |
| Maße: | 235 x 155 x 22 mm |
| Von/Mit: | Hartmut Ehrig (u. a.) |
| Erscheinungsdatum: | 18.11.2010 |
| Gewicht: | 0,61 kg |
| Erscheinungsjahr: | 2010 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 404 |
| Reihe: | Monographs in Theoretical Computer Science. An EATCS Series |
| Inhalt: |
xiii
390 S. |
| ISBN-13: | 9783642068317 |
| ISBN-10: | 3642068316 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Ehrig, Hartmut
Taentzer, Gabriele Prange, Ulrike Ehrig, Karsten |
| Auflage: | Softcover reprint of hardcover 1st ed. 2006 |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Monographs in Theoretical Computer Science. An EATCS Series |
| Maße: | 235 x 155 x 22 mm |
| Von/Mit: | Hartmut Ehrig (u. a.) |
| Erscheinungsdatum: | 18.11.2010 |
| Gewicht: | 0,61 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 2-3 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 2-3 Wochen
Lieferzeit 2-3 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage
