Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

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
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 61416 Available 119294
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.