TY  - BOOK
AU  - Melham, T
TI  - Higher order logic and hardware verification
SN  - 9780521417181
SN  - 94132457
U1  - 621.392 MEL 
PY  - 1993///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Integrated circuits - Very large scale integration - Data processing
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. [147]-157) and index
ER  -