Hartmut Ehrig
Identifiers
- Open LibraryOL9971423A
Top Subjects
- Graph theory (2)
- Logic design (1)
- Software engineering (1)
- Computer algorithms (1)
- Transformations (mathematics) (1)
Books by Hartmut Ehrig
Total count: 12
-
Fundamentals of Algebraic Specification 2Island Press1989-01-01
-
Handbook of Graph Grammars and Computing by Graph TransformationsApplications, Languages and ToolsWorld Scientific Publishing Co Pte Ltd1999-01-01
-
Handbook of Graph Grammars and Computing by Graph Transformations Vol. 3Concurrency, Parallelism and DistributionWorld Scientific Publishing Co Pte Ltd1999-01-01
-
Unifying Petri NetsAdvances in Petri NetsSpringer London, Limited2003-01-01
-
Graph TransformationFirst International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, ProceedingsSpringer London, Limited2003-01-01
-
Petri Net Technology for Communication-Based SystemsAdvances in Petri NetsSpringer London, Limited2003-01-01
-
Formal and Natural ComputingEssays Dedicated to Grzegorz RozenbergSpringer London, Limited2003-01-01
-
Theory and Application of Graph Transformations6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected PapersSpringer London, Limited2004-01-01
-
Graph TransformationsSecond International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, ProceedingsSpringer London, Limited2004-01-01
-
Fundamentals of Algebraic Graph TransformationSpringer London, Limited2006-01-01
-
Integration of Software Specification Techniques for Applications in EngineeringPriority Program SoftSpez of the German Research Foundation Final ReportSpringer London, Limited2011-01-01
-
Graph and Model TransformationGeneral Framework and ApplicationsSpringer London, Limited2015-01-01