Hinchey, Michael G  <br/><br/>
Industrial strength: Formal methods in practice 

 - London  Springer  1999 
 - 400 
 - Formal Approaches to Computing and Information Technology (FACIT .
<br/><br/><label>ISBN: </label>1852336404 
<br/><br/><label>Subjects--Topical Terms: </label><br/>FORMAL METHODS
<br/><br/><label>Dewey Class. No.: </label>005.131 HIN/I