Mikhail, Rana Farid. <br/><br/>
Automated database applications testing  Specification representation for automated reasoning /  [[Book] :] 
Rana Farid Mikhail, Donald Berndt, Abraham Kandel. 
 - Singapore ;  Hackensack, NJ :  World Scientific,  2010. 
 - 195 p. :  ill. ;  24 cm. 
 - Series in machine perception and artificial intelligence ;  v. 76 .
 - Series in machine perception and artificial intelligence ;  v. 76. .
<br/><br/>Includes bibliographical references (p. 185-192) and index. 
<br/><br/> All age. 
<br/><br/><label>ISBN: </label>9789812837288 9812837280 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Testing--Automation.<br/>Database design.
<br/><br/><label>Dewey Class. No.: </label>005.14 
<br/><br/><label>National Library of Medicine Call No.: </label> / M A