Hartmut Ehrig

1944 – 2016

Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars. Source: https://en.wikipedia.org/wiki/Hartmut_Ehrig

• Act
• Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
• Categorical methods in computer science
• Categorical methods in computer science
• Formal Methods and Software Development
• Formal Methods and Software Development
• Formal methods in software and systems modeling
• Formal methods in software and systems modeling
• Fundamentals of algebraic graph transformation
• Fundamentals of algebraic specification
• Fundamentals of Algebraic Specification 1
• Fundamentals of algebraic specification 2