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 (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