Logics of programs : axiomatics and descriptive power

著者

• Harel, David

書誌事項

Logics of programs : axiomatics and descriptive power

by David Harel

Laboratory for Computer Science, Massachusetts Institute of Technology, 1978

注記

***記述は遡及データによる

Thesis--Massachusetts Institute of Technology

Includes bibliographical references (p. 146-151)

詳細情報

• NII書誌ID(NCID): BB0506328X
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: 152 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA76.6
  • DC : 510.78452
• 件名:
  • LCSH : Computer programs -- Verification