Cooke, John <br/><br/>
Constructing correct software :  The basics / 
John Cooke 
 - London ;  New York :  Springer,  1999 
 - 395 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.
<br/><br/><label>Subjects--Index Terms: </label>Phát triển phần mềm Phần mềm Tin học 
<br/><br/><label>Dewey Class. No.: </label>005.14  / COO 1999