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