| Type | Book |
| ชื่อเรื่อง | Automated database applications testing : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
| ผู้แต่ง | Mikhail, Rana farid |
| ISBN | 9789812837288 |
| | 9789812837288 : ฿4590.00 |
| | 9812837280 |
| พิมพลักษณ์ | Hackensack, NJ : World Scientific, c2010 |
| | Singapore ;Hackensack, NJ : World Scientific Pub. Co., 2010 |
| รูปเล่ม | xiv, 195 p. : ill. ; 24 cm |
| ลิงค์ | Contents. |
| หัวเรื่อง | Computer software testing |
| | Computer software --Testing --Automation [] |
| | Database design |