Books by Hartmut Ehrig
Total count: 19
Kategorien und Automaten.de Gruyter1972-01-01
Fundamentals of Algebraic Specification 1Equations and Initial SemanticsSpringer Berlin Heidelberg1985-01-01
Fundamentals of algebraic specificationSpringer-Verlag1985-01-01
Mathematical Foundations of Software DevelopmentSpringer1985-06-01
Formal Methods and Software DevelopmentSpringer-Verlag1985-06-01
Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advance (Tapsoft '87)Springer1987-04-01
Graph Grammars and Their Application to Computer Science3rd International Workshop Warrenton, Virginia, Usa, December 2-6, 1986 (Lecture Notes in Computer Science)Springer1988-01-01
Fundamentals of Algebraic Specification 2Module Specifications and ConstraintsSpringer Berlin Heidelberg1990-01-01
Fundamentals of Algebraic Specification 2Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)1 editionSpringer1990-01-22
Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5-9, 1990Proceedings (Lecture Notes in Computer Science)Springer1991-12-01
ActAlgebraic Specification Techniques & Tools for Software Development (Amast Series in Computing)World Scientific Publishing Company1993-11-01
Recent Trends in Data Type Specification9th Workshop on Specification of Abstract Data Types, Joint with the 4th Compass Workshop, Caldes de Malavel (Lecture Notes in Computer Science)Springer1994-01-01
Graph Transformations6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. ProceedingsSpringer Berlin Heidelberg2012-01-01
Graph Transformation6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, ProceedingsSpringer2012-09-30
Graph and Model TransformationGeneral Framework and ApplicationsSpringer2015-12-30