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 1985
Springer Berlin Heidelberg
Table of Contents: “...On the relevance of formal methods to software development -- Combining algebraic and predicative...”
Cover Image
Read Now

4
Published 1985
Springer Berlin Heidelberg
Subjects: “...Software engineering...”