Test pattern generation using Boolean proof engines

著者

• Drechsler, Rolf
• Eggersglüß, Stephan
• Fey, Görschwin
• Tille, Daniel

書誌事項

Test pattern generation using Boolean proof engines

by Rolf Drechsler ... [et al.]

Springer, c2009

• : hbk.

注記

Other authors: Stephan Eggersglüß, Görschwin Fey, Daniel Tille

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA91330067
• ISBN:
  • 9789048123599
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; London
• ページ数/冊数: xii, 192 p.
• 大きさ: 25 cm
• 分類:
  • DC22 : 621.39501511324
• 件名:
  • LCSH : Integrated circuits -- Verification
  • LCSH : Computer software -- Verification
  • LCSH : Computer algorithms
  • LCSH : Algebra, Boolean