1 Table of Contents: “... -- The Nature of Theorem Proving -- Probability and Statistics -- Industrial Tools for Formal Methods...”

2 “... on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical...”

3 “... in an industrial environment and is based on the author's experience in working in software engineering...”

4 “... in an industrial environment. Topics and features: Presents a brief history of software quality and its influential...”

5 “...-world, industrial environment. The wide-ranging coverage encompasses all areas of software design...”

6 “... engineering, together with practical guidance on how to apply the theory in a real-world, industrial...”