Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers--software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.
- ISBN10 0471627658
- ISBN13 9780471627654
- Publish Date 6 October 1976
- Publish Status Out of Stock
- Out of Print 8 October 2008
- Publish Country US
- Imprint John Wiley & Sons Inc
- Format Hardcover
- Pages 360
- Language English