Melham, T <br/><br/>
Higher order logic and hardware verification 
T. Melham 
 - Cambridge  Cambridge University Press  1993 
 - xiii, 165 p. : ill. ; 26 cm 
<br/><br/> Includes bibliographical references (p. [147]-157) and index 
<br/><br/><label>ISBN: </label>9780521417181 
<br/><br/><label>ISSN: </label>94132457 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits - Very large scale integration - Data processing<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>621.392 MEL