Automated database applications testing [electronic resource] : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
Series: Series in machine perception and artificial intelligence ; v. 76.Publication details: Singapore ; Hackensack, NJ : World Scientific, c2010.Description: xiv, 195 p. : illISBN:- 9789812837288
- 9812837280
- 005.1/4 22
- QA76.76.T48 M55 2010eb

Includes bibliographical references (p. 185-192) and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.