Higher order logic and hardware verification
By: T. Melham.
Series: Cambridge tracts in theoretical computer science ;; 31
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge; New York
Language: eng
Number of pages: 165
Subjects: Integrated circuits -- Very large scale integration -- Data processing.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. [147]-157) and index.