Model checking

著者

• Clarke, Edmund
• Grumberg, Orna
• Peled, Doron

書誌事項

Model checking

Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled

MIT Press, c1999

注記

Includes bibliographical references (p. [297]-307) and index

詳細情報

• NII書誌ID(NCID): BA45005951
• ISBN:
  • 9780262032704
• LCCN: 99017979
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: xiv, 314 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.76.V47
  • DC21 : 004.2/1
• 件名:
  • LCSH : Computer systems -- Verification