THOMAS KROPF <br/><br/>
INTRODUCTION TO FORMAL HARDWARE VERIFICATION 

 -  SPRINGER INC  1999 
 - 299 
<br/><br/><label>ISBN: </label>3540654453 
<br/><br/><label>Subjects--Topical Terms: </label><br/>STORAGE GENERAL 
<br/><br/><label>Dewey Class. No.: </label>004.5  / THO