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 Available at 8 libraries

Bibliographic Information

Title
"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"
Statement of Responsibility
edited by V. Stavridou, T.F. Melham, R.T. Boute
Publisher
  • North-Holland
Publication Year
  • 1992

Search this Book/Journal

Related Books

See more

Details 詳細情報について

Back to top