Ford, Neville J. (Neville, John),  1957 <br/><br/>
Introducing formal methods /  a less mathematical approach 
Neville Ford, Judith Ford 
 - New York  Ellis Horwood  1993 
 - 226p.  ill.  23 cm. 
<br/><br/>Includes bibliography 
<br/><br/><label>ISBN: </label>0134843207  RM78.60 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer sofware--Development<br/>Software engineering