FUJITA,M AND OTHERS. <br/><br/>
VERIFICATION TECHNIQUES FOR SYSTEM- LEVEL DESIGN 

 - Amsterdam  Morgan Kaufmann  2008 
 - viii+240p.,22x19Cms. 
<br/><br/><label>ISBN: </label>0123706164 
<br/><br/><label>Dewey Class. No.: </label>621.38195 F949