Abstraction refinement for large scale model checking

著者

• Wang, Chao
• Hachtel, Gary D.
• Somenzi, Fabio

書誌事項

Abstraction refinement for large scale model checking

Chao Wang, Gary D. Hachtel, Fabio Somenzi

（Series on Integrated Circuits and Systems）

Springer, [2006] , , c2006

• : softcover

注記

Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)

"Softcover re-print of the hardcover 1st edition 2006"--Title page verso

Includes bibliographical references (pages [157]-169) and index

詳細情報

• NII書誌ID(NCID): BD21016503
• ISBN:
  • 9781489993953
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York, NY
• ページ数/冊数: xiv, 179 pages
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.76.V47
  • DC22 : 004.2/1
• 件名:
  • LCSH : Computer systems -- Verification -- Mathematical models
  • LCSH : Integrated circuits -- Verification -- Mathematical models
  • LCSH : Electronic systems -- Verification -- Mathematical models
• 親書誌ID:
  • BA76437098