Biblioteca da Universidade do Minho

Your cart is empty.
International Conference on Theorem Provers in Circuit Design, Theorem provers in circuit design : proceedings / International Conference... ; ed. V. Stavridou, T. F. Melham, R. T. Boute

Theorem provers in circuit design : proceedings / International Conference... ; ed. V. Stavridou, T. F. Melham, R. T. Boute . - Amsterdam : North-Holland, 1992 . - XI, 360 p. 23 cm . - (IFIP transactions A., Computer science and technology; 10)
0-444-89686-4 (Brochado)

681.3.02:510.6
510.6:681.3.02