Cover Image
Read Now

1
by Ehrig, Hartmut
Published 1985
Springer
Cover Image
Read Now

2
by Ehrig, Hartmut
Published 1985
Springer
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Integration of Software Specification Techniques for Applications in Engineering: Introduction...”
Cover Image
Read Now

4
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

5
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...On the relevance of formal methods to software development -- Combining algebraic and predicative...”
Cover Image
Read Now

6
Published 1985
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

7
Published 1987
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

8
Published 1987
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

11
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Towards an algebraic semantics for the object paradigm -- Rewriting techniques for software...”
Cover Image
Read Now

12
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...1 Informal Introduction to Abstract Modules -- 1A: Towards Modularization in Software Development...”
Cover Image
Read Now

13
Published 2008
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

14
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

15
by Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, Hermann, Frank
Published 2015
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

16
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Improving Flow in Software Development Through Graphical Representations -- A...”
Cover Image
Read Now

18
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer software...”
Cover Image
Read Now

19
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... grammar engineering: A software specification method -- A linguistic formalism for engineering solid...”
Cover Image
Read Now

20
Published 1991
Springer Berlin Heidelberg
Subjects: “...Software engineering...”