Software Reliability: Principles and Practices

Software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models are covered, in an informal style for anyone whose work is affected by the unreliability of software.