Graph and Model Transformation by Hartmut Ehrig
This book is a comprehensive explanation of graph and model transformation. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars.-
Fundamentals of Algebraic Graph Transformation
-
Models and Algorithms of Time-Dependent Scheduling
-
Theoretical Aspects of Distributed Computing in Sensor Networks
-
Handbook of Weighted Automata
-
Coping with Selfishness in Congestion Games
-
First-Order Programming Theories
-
Restricted-Orientation Convexity
-
Fault-Tolerant Search Algorithms
-
Patterns in Permutations and Words
-
Semantic Integration of Heterogeneous Software Specifications
-
Theoretical Aspects of Local Search
-
Computability
-
Syntax-Directed Semantics
-
The Logic of Partial Information
-
Computing in Horn Clause Theories
-
Nonsequential Processes
-
Data Structures and Algorithms 3
-
Relations and Graphs
-
Fundamentals of Algebraic Specification 1
-
Iteration Theories
-
Semirings, Automata, Languages
-
Data Structures and Algorithms 1
-
Petri Nets
-
Kolmogorov Complexity and Computational Complexity
-
Temporal Logic of Programs
-
Confluent String Rewriting
-
Fundamentals of Algebraic Specification 2
-
Parsing Theory
-
Finiteness and Regularity in Semigroups and Formal Languages
-
Coloured Petri Nets
-
Algorithms in Combinatorial Geometry
-
Logics of Specification Languages
-
Unfoldings
-
Stochastic Coalgebraic Logic
-
Process Algebras for Petri Nets
“The book is a comprehensive mathematical introduction to graph transformation and model transformations… I must say that the text is written in a clear and well-structured manner; as such, it can be a valuable addition to the bookshelf of any researcher from mathematics or theoretical computer science or those practitioners who develop parallel code for visual modeling.” (Alexander Tzanov, Computing Reviews, computingreviews.com, October, 2016)
“The text is very coherent and uses a unified notation throughout. The language is easily understandable and examples and illustrations are generously used in all parts of the book. Any graduate of computer science should, in principle, be able to appreciate the contents of the book … .” (Andreas Maletti, zbMATH 1341.68002, 2016)
| SKU | Unavailable |
| ISBN 13 | 9783662569108 |
| ISBN 10 | 3662569108 |
| Title | Graph and Model Transformation |
| Author | Hartmut Ehrig |
| Series | Monographs In Theoretical Computer Science An Eatcs Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2019-03-29 |
| Number of pages | 472 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |