Theorem provers in circuit design
Subtitle: 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
By: edited by V. Stavridou, T.F. Melham, R.T. Boute.
Contributors: Stavridou, V.; Melham, T. F.; Boute, R. T.
Series: IFIP transactions.; A-10
Publisher: North-Holland
Published: 1992
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 360
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.; Automatic theorem proving -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.