Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

Baber, Robert L."

ISBN 10: 0471930164 ISBN 13: 9780471930167

Published by Wiley, 1991

Language: English

Condition: New Hardcover

Save for Later

Sold by BooksByLisa, Highland Park, IL, U.S.A.

AbeBooks Seller since September 27, 2022

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Hardcover

Condition: New

Price:

US$ 12.80

Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book.

Seller Inventory # 931

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

Wiley

Publication Date

1991

Language

English

ISBN 10

0471930164

ISBN 13

9780471930167

Binding

Hardcover

Edition

First Edition.

Condition

New

Book Type

Book

Seller catalogs

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

My Bookstore has a wide variety of books, both new and used.. all in quality condition as described

Visit Seller's Storefront

Seller's business information

BooksByLisa
IL, U.S.A.

Sale & Shipping Terms

Terms of Sale

Lisa Savin: 847-274-4830
19499 Cedar Glen Dr Boca Raron, FL. 33434
8 Ridge Road Highland Park, IL. 60035

Media Shipling is 3.99 per book and .09 per lb book over 1lb. Pack and ship by 3-5 days. only Priority Service as option is $8.00 plus .09 per lb over 1lb

Sellers are required to accept returns, when initiated within 30 days of the estimated delivery date, for all reasons under AbeBooks' Return Policy. Refund amounts are based on the return reason. If the return reason cannot be determined, ...

More Information

Shipping Terms

no insurancd ofher the THE USPS $50 inless requested and paid by buyer

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 12 business days	3 to 5 business days
First item	US$ 0.00	US$ 17.00

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.