Error-free software : know-how and know-why of program correctness / by Robert L. Baber
Material type: TextSeries: Wiley series in software engineering practice.; Wiley professional computingPublication details: New York : Wiley, 1991cDescription: xii, 156 p. ; 24 cmISBN: 0471930164 (pbk)Subject(s): Computer software -- ReliabilityDDC classification: 005Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 005 BAB-E 1991 1589 (Browse shelf (Opens below)) | Available | 1589 |
Index included
Chapter 1: Introduction------------------------------
Chapter 2: The Execution of Program Statements--------------------------
Chapter 3: Foundation of Correctness Proofs---------------------------
Chapter 4: Analysis: Verifying the Correctness of a Program---------------------
Chapter 5: Designing a Correct Program------------------------
Chapter 6: Formulating Pre- and Postconditions------------------------
Chapter 7: Conclusion------------------------------
There are no comments on this title.