Cover image not available

Theorem provers in circuit design

Publication Data

Title Theorem provers in circuit design
Contributors V. Stavridou, T. F. Melham, R. T. Boute
Publisher North-Holland
Publication date 1992
Language English

Topics

Integrated circuits :: Very large scale integration :: Computer-aided design :: Congresses
Automatic theorem proving :: Congresses

Catalogue Data

OBNB ID GB9249021
ISBN 10 0444896864
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 621.395

ISBD

P1053 xi, 360p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Theorem provers in circuit design. ISBN 0444896864. Published by North-Holland in 1992. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.