Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Seller Inventory # rev8436746468

Contact seller

Report this item

Bibliographic Details

Title: Error Free Software: Know How and Know Why of Program Correctness (Wiley Series in Software Engineering Practice)
Publisher: John Wiley & Sons Ltd
Publication Date: 1991
Language: English
ISBN 10: 0471930164
ISBN 13: 9780471930167
Binding: hardcover
Condition: Very Good
Weight: 430 grams

About this title

Synopsis

Demonstrates how formal mathematical methods of proving correctness can help decrease the incidence of design errors (``bugs'') in software development. While all the techniques described here have a rigorous mathematical foundation, it is omitted in favor of emphasizing practical applications.

Language Notes

Text: English (translation)
Original Language: German

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Revival Books Ltd
Unit 11 Hugh Business Park, Bacup Road, Waterfoot, Rossendale, BB4 7BT, United Kingdom

Sale & Shipping Terms

Terms of Sale

WeBuyBooks
Hall Carr Mill
Fallbarn Road
Rawtenstall
Lancashire BB4 7NX

Email: Sales@webuybooks.co.uk
Tel: 01706 227207

Company Reg. No. 07693718
VAT Number 901 5786 27

Authorised Representatives: Michael Lane and Damian Carr

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	5 to 10 business days	5 to 10 business days
First item	US$ 8.81	US$ 8.81

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.