APPLICATIONS of formal methods / 
edited by Michael G.Hinchey and Jonathan P.Bowen 
 - London  Prentice Hall  1995 
 - xvii,447p. 
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>133669491 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering Design<br/>Enginneering - Management
<br/><br/><label>Dewey Class. No.: </label>620.0042  / APP