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

書誌事項

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

(IFIP transactions, A . Computer science and technology ; 10)

North-Holland, 1992

大学図書館所蔵 件 / 8

この図書・雑誌をさがす

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ