TY  - BOOK
AU  - Mikhail Rana Farid
AU  -  Berndt Donald
AU  -  Kandel Abraham
TI  - Automated database applications testing:specification representation for automated reasoning
T2  - Series in machine perception and artificial intelligence, 76
SN  - 9789812837288 (hbd)
U1  - D65,8(B):(S:72), Q0   TD 
PY  - 2010///
CY  - New Jersey 
PB  - World Scientific     
KW  -  Artificial intelligence
KW  -  Automated data base
KW  -  Machine perception
KW  - Computer Science
N1  - Appendices A-B, 143-184p.; Bibliography 185-192p.; Index 193-195p
ER  -