Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice) - Hardcover
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.
"synopsis" may belong to another edition of this title.
Language Notes
Text: English (translation)
Original Language: German
"About this title" may belong to another edition of this title.
Search results for Error-Free Software: Know-How and Know-Why of Program...
Stock Image
Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
Seller: BooksByLisa, Highland Park, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. Seller Inventory # 931
Stock Image
Error Free Software : Know-How and Know-Why of Program Correctness
Published by
Wiley & Sons, Incorporated, John, 1991
ISBN 10: 0471930164
ISBN 13: 9780471930167
Used
Hardcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 54959083-20
Buy Used
US$ 17.91
US$ 6.70 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
Seller: Antiquariat Armebooks, Frankfurt am Main, Germany
Seller rating 5 out of 5 stars
Gebundene Ausgabe. Condition: Gut. 172 Seiten; John Wiley & Sons - 1st. 1991 : Robert Laurence Baber - gb. Gr. XV-WVTK-V9E7 Sprache: Englisch Gewicht in Gramm: 440. Seller Inventory # 346844
Buy Used
US$ 49.72
US$ 23.21 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
Published by
John Wiley & Sons Ltd 01.06.1991., 1991
ISBN 10: 0471930164
ISBN 13: 9780471930167
Used
Hardcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. 172 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 23,2 x 15,0 x 2,0 cm, Gebundene Ausgabe. Seller Inventory # 368198
Buy Used
US$ 49.57
US$ 27.86 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available