Woodcock, Jim <br/><br/>
Software engineering mathematics : formal methods demystified  [Books]. 
Jim Woodcock [and] Martin Loomes 
 - London  Pitman Publishing.  1988 
 - Pages: 291 
<br/><br/><label>ISBN: </label>0273026739  0.00 
<br/><br/><label>Subjects--Personal Names: </label><br/>Computer systems -- Programs -- Mathematics.
<br/><br/><label>Dewey Class. No.: </label>QA/76.6  / WOO