Cover Image
Read Now

1
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

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