Details

Subject(s)

• Computer software—Reliability [Browse]

Series

Texts in computer science. [More in this series]

Bibliographic references

Includes bibliographical references (p. [321]-328) and index.

Contents

• 1. Introduction
• 2. Preliminaries
• 3. Logic and Theorem Proving
• 4. Modeling Software Systems
• 5. Formal Specification
• 6. Automatic Verification
• 7. Deductive Software Verification
• 8. Process Algebra and Equivalences
• 9. Software Testing
• 10. Combining Formal Methods
• 11. Visualization
• 12. Conclusions.

Show 9 more Contents items

ISBN

0387951067 (alk. paper)

LCCN

2001018395

OCLC

45804896

RCP

C - S

Statement on language in description

Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...