Automated database applications testing : specification representation for automated reasoning /
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Singapore ; Hackensack, N.J. :
World Scientific Publishing Company,
2010.
|
| Series: | Series in machine perception and artificial intelligence ;
v. 76. |
| Subjects: |
| Physical Description: | xiv, 195 pages : illustrations ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliographical references (pages 185-192) and index. |
| ISBN: | 9789812837288 9812837280 |