EDSGER W DIJKSTRA <br/><br/>
FORMAL DEVELOPMENT OF PROGRAMS AND PROOFS 

 -  ADDISON - WESLEY  1990 
 - 242 
<br/><br/><label>ISBN: </label>0201172372 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE SOFTWARE DEVELOPMENT 
<br/><br/><label>Dewey Class. No.: </label>005.1  DIJ  N  / EDS