کتاب های Prof. Dr. Hartmut Ehrig
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.), 2004
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
H. Weber, H. Ehrig, W. Reisig, A. Borusan (auth.), Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (eds.), 2003
Mathematisch-strukturelle Grundlagen der Informatik
Prof. Dr. Hartmut Ehrig, 2001
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Hartmut Ehrig, Bernd Mahr, 1985
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Hartmut Ehrig, Bernd Mahr, 1985
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Hartmut Ehrig, Bernd Mahr, 1990
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Hartmut Ehrig, Bernd Mahr, 1990
CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
Hartmut Ehrig (auth.), 1981
CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
Hartmut Ehrig (auth.), 1981
Categorical Methods in Computer Science With Aspects from Topology
Hartmut Ehrig (auth.), 1989
Categorical Methods in Computer Science With Aspects from Topology
Hartmut Ehrig (auth.), 1989
Graph and Model Transformation: General Framework and Applications
Hartmut Ehrig, 2016
Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, 2010
