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.
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
UsedGood. Hardcover; surplus library copy with the usual stampings; reference number taped to dust jacket spine; otherwise in good condition with clean text, fi rm binding. Dust jacket, fading and shelf wear, protected by a Mylar cover.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This item is fairly worn, but continues to work perfectly. Signs of wear can include aesthetic issues such as scratches, dents, worn corners, bends, tears, small stains, and partial water damage. All pages and the cover are intact, but the dust cover may be missing, if applicable. Pages may include excessive notes and highlighting, but the text is not obscured or unreadable. Satisfaction Guaranteed.