1 Table of Contents: “...Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods...”

2 Table of Contents: “... Techniques -- 6.7 Summary -- 7 Formal Methods and Design -- 7.1 Introduction -- 7.2 Software Configuration...”

3 Table of Contents: “... Topics in Logic -- Software Engineering Mathematics -- Formal Methods -- Z Formal Specification Language...”

4 Table of Contents: “.... Formal Methods -- 17. Z Specification Language...”

5 Table of Contents: “... and Dependability -- Formal Methods -- Z Formal Specification Language -- Unified Modeling Language -- Software...”

6 Table of Contents: “.... Formal Methods -- 18. Z Formal Specification Language -- 19. Probability, Statistics and Applications...”

7 Table of Contents: “... Engineering?- Early Software Engineering -- Software Engineering Mathematics -- Formal Methods -- Software...”

8 “... • Technology transfer of formal methods This book considers the potential and limitations of the various...”

9 “... of computing. He is the author of such Springer textbooks as Concise Guide to FormalMethods, Concise Guide...”

10

11