GRADY J O <br/><br/>
SYSTEM VERIFICATION 

 - Amsterdam  Elsevier  2007 
 - xxvii+337p., 22X16cm 
<br/><br/><label>ISBN: </label>978012374014 
<br/><br/><label>Dewey Class. No.: </label>620.0011 G732