Error-free software : know-how and know-why of program correctness / by Robert L. Baber

By: Baber, Robert LaurenceMaterial type: TextTextSeries: 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: 005
Contents:
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------------------------------
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science
005 BAB-E 1991 1589 (Browse shelf (Opens below)) Available 1589
Total holds: 0

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.

to post a comment.