Program verification : fundamental issues in computer science

著者

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

書誌事項

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

注記

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

詳細情報

• NII書誌ID(NCID): BA19566077
• ISBN:
  • 0792319656
• LCCN: 92026748
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: xiii, 457 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.76.V47
  • DC20 : 005.1/4
• 件名:
  • LCSH : Computer software -- Verification
• 親書誌ID:
  • BA04334781