001.6424  / G952p <br/>
Gumb, Raymond D. <br/>
       Programming logics  : an introduction to verification and semantics 
 / Raymond D. Gumb 
 .- New York: John Wiley,  1989 
 .- xvii, 334p . 
<br><u>ISBN:</u> 0471605395 
<br/><u>Subject Headings:</u> <br/>Computer Programs -- Verification;<br/>Programming Languages (Electronic Computers) -- Semantics;
<br><U>Copy Details:</u><br> Acc. No.: <b>A105196</b>, Full Call No.: 001.6424 G952p,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>