Reasoning in Boolean networks : logic synthesis and verification using testing techniques

Web Site CiNii 所蔵館 13館

書誌事項

タイトル
"Reasoning in Boolean networks : logic synthesis and verification using testing techniques"
責任表示
by Wolfgang Kunz and Dominik Stoffel
出版者
  • Kluwer Academic
出版年月
  • c1997
書籍サイズ
25 cm

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連図書・雑誌

もっと見る

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

ページトップへ