Cooke, John <br/><br/>
Constructing correct software  the basics 

 - London  Springer  1998 
 - x,393p. 
<br/><br/><label>ISBN: </label>354076156X  89 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Software
<br/><br/><label>Dewey Class. No.: </label>005  / COO