Automated database applications testing : specification representation for automated reasoning

Author(s)

• Mikhail, Rana Farid
• Berndt, Donald
• Kandel, Abraham

Bibliographic Information

Automated database applications testing : specification representation for automated reasoning

Rana Farid Mikhail, Donald Berndt, Abraham Kandel

（Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang, v. 76）

World Scientific, c2010

Note

Includes bibliographical references and index

Details

• NCID: BB0225647X
• ISBN:
  • 9789812837288
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Singapore
• Pages/Volumes: xiv, 195 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA17261443