Program verification : fundamental issues in computer science

Author(s)

• Colburn, Timothy R.
• Fetzer, James H.
• Rankin, Terry L.

Bibliographic Information

Program verification : fundamental issues in computer science

edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin

（Studies in cognitive systems, v. 14）

Kluwer Academic Press, 1993

Note

Includes bibliographical references (p. 429-443) and indexes

Details

• NCID: BA19566077
• ISBN:
  • 0792319656
• LCCN: 92026748
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: xiii, 457 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.76.V47
  • DC20 : 005.1/4
• Subject Headings:
  • LCSH : Computer software -- Verification
• Parent Bibliography ID:
  • BA04334781