Releases by Hartmut Ehrig

In stock at iMusic Show unavailable items

Cover for Hartmut Ehrig · Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Graph Transformation: 6th Intern... (2012)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 1985 edition] (2011)

Softcover reprint of the original 1st ed. 1985 edition

Fundamentals of Algebraic Specif... (2011)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 1990 edition] (2011)

Softcover reprint of the original 1st ed. 1990 edition

Fundamentals of Algebraic Specif... (2011)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2006 edition] (2010)

1st Ed. Softcover of Orig. Ed. 2006 edition

Fundamentals of Algebraic Graph ... (2010)

Cover for Hartmut Ehrig · Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2010)

Graph Transformations: 5th Inter... (2010)

Cover for Hartmut Ehrig · Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Graph Transformations: 4th Inter... (2008)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series (Hardcover Book) (2006)

Fundamentals of Algebraic Graph ... (2006)

Cover for Hartmut Ehrig · Graph Transformations: Second International Conference, Icgt 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2004)

Graph Transformations: Second In... (2004)

Cover for Hartmut Ehrig · Petri Net Technology for Communication-Based Systems: Advances in Petri Nets - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)

Petri Net Technology for Communi... (2003)

Cover for Hartmut Ehrig · Mathematisch-strukturelle Grundlagen Der Informatik (Paperback Book) [German, 2. Aufl. 2001 edition] (2001)

German, 2. Aufl. 2001 edition

Mathematisch-strukturelle Grundl... (2001)

Cover for Hartmut Ehrig · Recent Types in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes De Malavella, Spain, October 26-30, 1992 - Selected Papers - Lecture Notes in Computer Science (Paperback Book) (1994)

Recent Types in Data Type Specif... (1994)

Cover for Hartmut Ehrig · Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings (International Workshop Proceedings.h.ehrig, Etc) - Lecture Notes in Computer Science (Paperback Book) (1991)

Graph Grammars and Their Applica... (1991)

Cover for Hartmut Ehrig · Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1991)

Recent Trends in Data Type Speci... (1991)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [1990 edition] (1989)

Fundamentals of Algebraic Specif... (1989)

Cover for Hartmut Ehrig · Categorical Methods in Computer Science: With Aspects from Topology - Lecture Notes in Computer Science (Paperback Book) [1989 edition] (1989)

Categorical Methods in Computer ... (1989)

Cover for Hartmut Ehrig · Graph-grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, Usa, December 2-6, 1986 - Lecture Notes in Computer Science (Paperback Book) (1987)

Graph-grammars and Their Applica... (1987)

Cover for Hartmut Ehrig · Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 (Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (Paperback Book) (1987)

Tapsoft '87: Proceedings of the ... (1987)

Cover for Hartmut Ehrig · Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 (Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Pr (Paperback Book) (1987)

Tapsoft '87. Proceedings of the ... (1987)

Cover for Hartmut Ehrig · Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) - L (Paperback Book) [1985 edition] (1985)

Mathematical Foundations of Soft... (1985)

Cover for Hartmut Ehrig · Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE) - Lecture Notes in Computer (Paperback Book) [1985 edition] (1985)

Formal Methods and Software Deve... (1985)