Proving programs correct

Author(s)

• Anderson, Robert Brockett

Bibliographic Information

Proving programs correct

Robert B. Anderson

Wiley, c1979

Note

Bibliography: p. 170-182

Includes index

Details

• NCID: BA0291817X
• ISBN:
  • 0471033952
• LCCN: 78009321
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: viii, 184 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.6
  • DC : 001.6/425
• Subject Headings:
  • LCSH : Computer programs -- Testing
  • LCSH : Debugging in computer science