Error Free Software: Know How and Know Why of Program Correctness (Wiley Series in Software Engineering Practice) - Hardcover
Synopsis
Pressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.
"synopsis" 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
£ 13.77
£ 5 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
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