Automatic verification of programs with complex data structures

著者

• 鈴木, 則久 スズキ, ノリヒサ

書誌事項

Automatic verification of programs with complex data structures

Norihisa Suzuki

（Outstanding dissertations in the computer sciences）

Garland Pub., 1980

注記

Originally presented as the author's thesis, Stanford, 1976

Bibliography: p. 129-134

詳細情報

• NII書誌ID(NCID): BA2607307X
• ISBN:
  • 0824044258
• LCCN: 79007311
• 出版国コード: us
• タイトル言語コード: eng
• 出版地: New York
• ページ数/冊数: 176 p.
• 大きさ: 22 cm
• 分類:
  • LCC : QA76.6
  • DC : 001.6/425
• 件名:
  • LCSH : Computer programs -- Verification
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Data structures (Computer science)
• 親書誌ID:
  • BA1154457X