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.
"synopsis" may belong to another edition of this title.
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. 1st Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP82751601
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. 1st Edition. Used book that is in clean, average condition without any missing pages. Seller Inventory # 15500606-20
Seller: Goodwill Books, Hillsboro, OR, U.S.A.
Condition: acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included. Seller Inventory # 3IIZWD00001E_ns
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0471627658I5N00
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Hardcover. Condition: UsedGood. Hardcover; surplus library copy with the usual stampings; reference number taped to dust jacket spine; otherwise in good condition with clean text, firm binding. Dust jacket, fading and shelf wear, protected by a Mylar cover. Seller Inventory # 67845
Seller: NWJbooks, Lancaster, PA, U.S.A.
Hardcover. Condition: Near Fine. Dust Jacket Condition: Good. 1st Edition. White lettering on blue covers in a white dust jacket. 8vo, 360pp. Dust jacket top edge torn. Seller Inventory # 011849
Seller: Rare Book Cellar, Pomona, NY, U.S.A.
Hardcover. First Edition; Seventh Printing. Very Good+ in a Very Good+ dust jacket. Owner name inked over on FEP. ; 9.1 X 5.9 X 1.0 inches; 360 pages. Seller Inventory # 144526
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0471627658