Formal hardware verification : methods and systems in comparison

詳細情報 詳細情報について

• CRID

  1130000798051630592

• NII書誌ID

  BA32157822

• ISBN

  3540634754

• LCCN

  97036126

• Web Site

  https://lccn.loc.gov/97036126

• 本文言語コード

  en

• 出版国コード

  gw

• タイトル言語コード

  en

• 出版地

  • Berlin

• 件名

  • LCSH: Integrated circuits -- Very large scale integration -- Design and construction -- Data processing
  • LCSH: Integrated circuits -- Verification
  • FREE: LCSH;Computer-aided design

• データソース種別

  • CiNii Books