Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992

Web Site CiNii 所蔵館 8館

書誌事項

タイトル
"Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992"
責任表示
edited by V. Stavridou, T.F. Melham, R.T. Boute
出版者
  • North-Holland
出版年月
  • 1992

この図書・雑誌をさがす

関連図書・雑誌

もっと見る

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

ページトップへ