Theorem provers in circuit design : proceedings / International Conference...; ed. V. Stavridou, T. F. Melham, R. T. Boute
Corporate Author (Main)
International Conference on Theorem Provers in Circuit Design, Nijmegen, 1992
Secondary Author
Stavridou, Victoria
Melham, Tom
Boute, Raymond T.
Country
Holanda.
Publication
Amsterdam : North-Holland, 1992
Description
XI, 360 p. ;
23 cm
Series
IFIP transactions A.. Computer science and technology , 10
ISBN
0-444-89686-4
CDU
681.3.02:510.6
510.6:681.3.02
There are no comments for this item.