3805782
9780471627654
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.Myers, Glenford J. is the author of 'Software Reliability: Principles and Practices' with ISBN 9780471627654 and ISBN 0471627658.
[read more]