Hartmut Ehrig | Bookhype

Amast Series In Computing

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

Book #1: Algebraic Specification Techniques And Tools For Software Development: The Act Approach

Lecture Notes in Computer Science

Cover of Integration of Software Specification Techniques for Applications in Engineering

Book #3147: Integration of Software Specification Techniques for Applications in Engineering

Monographs in Theoretical Computer Science. An EATCS

Cover of Fundamentals of Algebraic Specification 1

Book #6: Fundamentals of Algebraic Specification 1

Cover of Fundamentals of Algebraic Specification 2

Book #21: Fundamentals of Algebraic Specification 2

Series on Advances in Mathematics for Applied Sciences

Cover of Thermomechanics Of Phase Transitions In Classical Field Theory

Book #13: Thermomechanics Of Phase Transitions In Classical Field Theory

Springer-Lehrbuch

Tapsoft '87

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

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

World Scientific Series In Computer Science

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

Book #40: Current Trends In Theoretical Computer Science: Essays And Tutorials