Cover Image
Read Now

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

2
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

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

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

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

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

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

9
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools...”