Powiedz znajomym o tym przedmiocie:
Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series Hartmut Ehrig 1st Ed. Softcover of Orig. Ed. 2006 edition
Zamówione z odległego magazynu
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Również dostępne jako:
Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series
Hartmut Ehrig
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.
403 pages, biography
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 18 listopada 2010 |
| ISBN13 | 9783642068317 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 403 |
| Wymiary | 156 × 234 × 21 mm · 566 g |
| Język | Angielski |
Więcej od Hartmut Ehrig
Pokaż wszystko![Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2019)](https://imusic.b-cdn.net/images/item/original/108/9783662569108.jpg?hartmut-ehrig-2019-graph-and-model-transformation-general-framework-and-applications-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1603998766)
![Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/797/9783662479797.jpg?hartmut-ehrig-2015-graph-and-model-transformation-general-framework-and-applications-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-book&class=scaled&v=1527190487)
![Cover for Hartmut Ehrig · Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/539/9783642336539.jpg?hartmut-ehrig-2012-graph-transformation-6th-international-conference-icgt-2012-bremen-germany-september-24-29-2012-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1437906689)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 1985 edition] (2011)](https://imusic.b-cdn.net/images/item/original/641/9783642699641.jpg?hartmut-ehrig-2011-fundamentals-of-algebraic-specification-1-equations-and-initial-semantics-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1543877329)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 1990 edition] (2011)](https://imusic.b-cdn.net/images/item/original/765/9783642647765.jpg?hartmut-ehrig-2011-fundamentals-of-algebraic-specification-2-module-specifications-and-constraints-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1543905990)
![Cover for Hartmut Ehrig · Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/041/9783540874041.jpg?hartmut-ehrig-2008-graph-transformations-4th-international-conference-icgt-2008-leicester-united-kingdom-september-7-13-2008-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1547797061)
![Cover for Hartmut Ehrig · Petri Net Technology for Communication-Based Systems: Advances in Petri Nets - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/388/9783540205388.jpg?hartmut-ehrig-2003-petri-net-technology-for-communication-based-systems-advances-in-petri-nets-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1443817862)
![Cover for Hartmut Ehrig · Mathematisch-strukturelle Grundlagen Der Informatik (Paperback Book) [German, 2. Aufl. 2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/235/9783540419235.jpg?hartmut-ehrig-2001-mathematisch-strukturelle-grundlagen-der-informatik-paperback-book&class=scaled&v=1513990772)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [1990 edition] (1989)](https://imusic.b-cdn.net/images/item/original/993/9783540517993.jpg?hartmut-ehrig-1989-fundamentals-of-algebraic-specification-2-module-specifications-and-constraints-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-book&class=scaled&v=1478372243)
![Cover for Hartmut Ehrig · Categorical Methods in Computer Science: With Aspects from Topology - Lecture Notes in Computer Science (Paperback Book) [1989 edition] (1989)](https://imusic.b-cdn.net/images/item/original/221/9783540517221.jpg?hartmut-ehrig-1989-categorical-methods-in-computer-science-with-aspects-from-topology-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1595519607)
![Cover for Hartmut Ehrig · Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) - L (Paperback Book) [1985 edition] (1985)](https://imusic.b-cdn.net/images/item/original/982/9783540151982.jpg?hartmut-ehrig-1985-mathematical-foundations-of-software-development-proceedings-of-the-international-joint-conference-on-theory-and-practice-of-software-development-tapsoft-berlin-march-25-29-1985-volume-1-colloquium-on-trees-in-algebra-and-programming-caa&class=scaled&v=1604781289)
![Cover for Hartmut Ehrig · Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE) - Lecture Notes in Computer (Paperback Book) [1985 edition] (1985)](https://imusic.b-cdn.net/images/item/original/999/9783540151999.jpg?hartmut-ehrig-1985-formal-methods-and-software-development-proceedings-of-the-international-joint-conference-on-theory-and-practice-of-software-development-tapsoft-berlin-march-25-29-1985-volume-2-colloquium-on-software-engineering-cse-lecture-notes-in-com&class=scaled&v=1605848857)
Zobacz wszystko od Hartmut Ehrig ( np. Paperback Book , Hardcover Book i Book )