The Correctness problem in computer science

Author(s)

• Boyer, Robert S.
• Moore, J. Strother

Bibliographic Information

The Correctness problem in computer science

edited by R.S. Boyer and J. Strother Moore

（International lecture series in computer science）

Academic Press, 1981

Note

Includes bibliographies and index

Details

• NCID: BA03091651
• ISBN:
  • 0121229203
• LCCN: 81067887
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London ; New York
• Pages/Volumes: xiii, 279 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 001.64/25
• Subject Headings:
  • LCSH : Computer programs -- Correctness
• Parent Bibliography ID:
  • BA00662155