Amazon cover image
Image from Amazon.com
Image from Coce

Automated database applications testing:specification representation for automated reasoning

By: Contributor(s): Material type: TextLanguage: English Series: Series in machine perception and artificial intelligence, 76Publication details: New Jersey World Scientific 2010Description: xiv, 195p. cmISBN:
  • 9789812837288 (hbd)
Subject(s): DDC classification:
  • D65,8(B):(S:72), Q0 TD
Item type: Textbook
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Textbook Central Science Library Central Science Library D65,8(B):(S:72) Q0 TD (Browse shelf(Opens below)) Available SL1534649

Appendices A-B, 143-184p.; Bibliography 185-192p.; Index 193-195p.

There are no comments on this title.

to post a comment.
Copyright @ Delhi University Library System