Enlarge

Higher order logic and hardware verification

T. F. Melham

Publication Data

Title Higher order logic and hardware verification
Author T. F. Melham
Publisher Cambridge University Press
Publication date 1993
Publication location Cambridge
Language English

Topics

Integrated circuits :: Very large scale integration :: Data processing
010375411

Catalogue Data

OBNB ID GB9366738
ISBN 10 052141718X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.30285

ISBD

P1053 xiii,165p.

Buy a copy

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

Higher order logic and hardware verification by T. F. Melham. ISBN 052141718X. Published by Cambridge University Press in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.