SHOLA, P. B. <br/><br/>
LOGIC, PROGRAM VERIFICATION AND DEVELOPMENT/ 
by Shola, P. B.- 
 - Nigeria:  Reflect Publishers,  c2003. 
 - 109p.:  24cm. 
<br/><br/><label>ISBN: </label>9783636324 
<br/><br/><label>Source: </label>B-28003 
<br/><br/><label>Subjects--Topical Terms: </label>
<br/><br/><label>LC Class. No.: </label>QA9.46.S56 2003  / .S56