算術演算回路の形式的検証手法とその評価

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

• CRID

  1520290882013076224

• NII論文ID

  110005716524

  110005717331

  10018435773

  110005717958

• NII書誌ID

  AA1123312X

• ISSN

  09135685

  09196072

• NDL書誌ID

  8572131

  8572312

  8570455

• Web Site

  http://id.ndl.go.jp/bib/8572131

  https://ndlsearch.ndl.go.jp/books/R000000004-I8572131

  http://id.ndl.go.jp/bib/8572312

  https://ndlsearch.ndl.go.jp/books/R000000004-I8572312

  http://id.ndl.go.jp/bib/8570455

  https://ndlsearch.ndl.go.jp/books/R000000004-I8570455

• 本文言語コード

  ja

• NDL 雑誌分類

  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)

• データソース種別

  • NDL
  • CiNii Articles