Advanced formal verification

著者

• Drechsler, Rolf

書誌事項

Advanced formal verification

edited by Rolf Drechsler

Kluwer Academic Publishers, 2004

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA6592444X
• ISBN:
  • 1402077211
• LCCN: 2003064115
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston
• ページ数/冊数: xxv, 249 p.
• 大きさ: 25 cm
• 分類:
  • LCC : TK7867
  • DC22 : 621.3815/48
• 件名:
  • LCSH : Electronic circuits -- Testing
  • LCSH : Decision trees