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.
發表於2024-11-13
Software Reliability 2024 pdf epub mobi 電子書 下載
圖書標籤: reliability
Software Reliability 2024 pdf epub mobi 電子書 下載