JONATHAN P BOWEN ; MICHAEL G HINCHEY <br/><br/>
INDUSTRIAL- STRENGTH FORMAL METHODS IN PRACTICE 

 -  SPRINGER INC  1999 
 - 400 
<br/><br/><label>ISBN: </label>1852336404 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE GENERAL 
<br/><br/><label>Dewey Class. No.: </label>005.131  / JON