001.642  / F765 <br/>
       Formal development of programs and proofs 
 / edited by Edsger W. Dijkstra 
 .- Reading, Massachusetts: Addison-Wesley,  1990 
 .- xiv, 242p . 
.- ( The UT Year of Programming Series   
<br><u>ISBN:</u> 0201172372 
<br/><u>Subject Headings:</u> <br/>Electronic Digital Computers -- Programming;<br/>Computer Programs;
<br/><U>Author Added Entry: </u><br/>Dijkstra, Edsger W. [Ed.];
<br><U>Copy Details:</u><br> Acc. No.: <b>A107802</b>, Full Call No.: 001.642 F765,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>