Hartmut Ehrig | Bookhype

Dec 30, 2015

Cover of Graph and Model Transformation

Graph and Model Transformation (Monographs in Theoretical Computer Science. An EATCS)

Feb 10, 2006

Cover of Fundamentals of Algebraic Graph Transformation

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS)

Sep 22, 2004

Cover of Integration of Software Specification Techniques for Applications in Engineering

Integration of Software Specification Techniques for Applications in Engineering (Lecture Notes in Computer Science, #3147)

Dec 11, 1998

Cover of Mathematisch-Strukturelle Grundlagen Der Informatik

Mathematisch-Strukturelle Grundlagen Der Informatik (Springer-Lehrbuch)

Nov 1, 1993

Cover of Algebraic Specification Techniques And Tools For Software Development: The Act Approach

Algebraic Specification Techniques And Tools For Software Development: The Act Approach (Amast Series In Computing, #1)

Jun 1, 1993

Cover of Current Trends In Theoretical Computer Science: Essays And Tutorials

Current Trends In Theoretical Computer Science: Essays And Tutorials (World Scientific Series In Computer Science, #40)

Jan 1, 1993

Cover of Thermomechanics Of Phase Transitions In Classical Field Theory

Thermomechanics Of Phase Transitions In Classical Field Theory (Series on Advances in Mathematics for Applied Sciences, #13)

Dec 28, 1989

Cover of Fundamentals of Algebraic Specification 2

Fundamentals of Algebraic Specification 2 (Monographs in Theoretical Computer Science. An EATCS, #21)

Mar 1, 1987

Cover of Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 (Tapsoft '87, #1)

Mar 1, 1985

Cover of Fundamentals of Algebraic Specification 1

Fundamentals of Algebraic Specification 1 (Monographs in Theoretical Computer Science. An EATCS, #6)