MICHEAL G HINCHEY; JONATHAN P BOWEN EDS. <br/><br/>
APPLICATIONS OF FORMAL METHODS 

 -  PRENTICE-HALL  1990 
 - 447 
<br/><br/><label>ISBN: </label>0133669491 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MECHANICAL ENGINEERING DESIGN 
<br/><br/><label>Dewey Class. No.: </label>620.0042 0151 3  N 6  / MIC