Mikhail Rana Farid <br/><br/>
Automated database applications testing:specification representation for automated reasoning 

 - New Jersey   World Scientific       2010 
 - xiv, 195p.  cm. 
 - Series in machine perception and artificial intelligence, 76 .
<br/><br/> Appendices A-B, 143-184p.; Bibliography 185-192p.; Index 193-195p. 
<br/><br/><label>ISBN: </label>9789812837288 (hbd) 
<br/><br/><label>Standard No.: </label>127209 
<br/><br/><label>Source: </label> Textbook 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Artificial intelligence<br/> Automated data base<br/> Machine perception<br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>D65,8(B):(S:72), Q0   TD