001.642  / C817 <br/>
       Correctness problem in computer science 
 / edited by Robert S. Boyer and J. Strother Moore 
 .- London: Academic Press,  1981 
 .- xiii, 279p . 
.- ( International Lecture Series In Computer Science   
<br/><u>Subject Headings:</u> <br/>Computer Programs -- Testing;
<br/><U>Author Added Entry: </u><br/>Boyer, Robert S. [Ed.];<br/>Moore, J. Strother [Ed.];
<br><U>Copy Details:</u><br> Acc. No.: <b>A80194</b>, Full Call No.: 001.642 C817,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>