Staff View: Automated database applications testing

Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.

Saved in:

Bibliographic Details
Superior document:	Series in machine perception and artificial intelligence ; v. 76
:	ProQuest (Firm) Mikhail, Rana Farid.
TeilnehmendeR:	Berndt, Donald J. Kandel, Abraham. ProQuest (Firm)
Year of Publication:	2010
Language:	English
Series:	Series in machine perception and artificial intelligence ; v. 76.
Online Access:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=731063
Physical Description:	xiv, 195 p. :; ill.
Tags:	Add Tag No Tags, Be the first to tag this record!

id	500731063
ctrlnum	(MiAaPQ)500731063 (Au-PeEL)EBL731063 (CaPaEBR)ebr10422652 (CaONFJC)MIL275747 (OCoLC)670429608
collection	bib_alma
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01633nam a2200409 a 4500</leader><controlfield tag="001">500731063</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d \| </controlfield><controlfield tag="007">cr cn\|\|\|\|\|\|\|\|\|</controlfield><controlfield tag="008">100419s2010 njua sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2010286698</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789812837288</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9812837280</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500731063</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL731063</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10422652</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL275747</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)670429608</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.T48</subfield><subfield code="b">M55 2010</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mikhail, Rana Farid.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated database applications testing</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">specification representation for automated reasoning /</subfield><subfield code="c">Rana Farid Mikhail, Donald Berndt & Abraham Kandel.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Singapore ;</subfield><subfield code="a">Hackensack, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">c2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 195 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Series in machine perception and artificial intelligence ;</subfield><subfield code="v">v. 76</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 185-192) and index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Testing</subfield><subfield code="x">Automation.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Database design.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berndt, Donald J.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kandel, Abraham.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Series in machine perception and artificial intelligence ;</subfield><subfield code="v">v. 76.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=731063</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format	marc
spelling	Mikhail, Rana Farid. Automated database applications testing [electronic resource] : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel. Singapore ; Hackensack, NJ : World Scientific, c2010. xiv, 195 p. : ill. Series in machine perception and artificial intelligence ; v. 76 Includes bibliographical references (p. 185-192) and index. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Computer software Testing Automation. Database design. Electronic books. Berndt, Donald J. Kandel, Abraham. ProQuest (Firm) Series in machine perception and artificial intelligence ; v. 76. https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=731063 Click to View
language	English
format	Electronic eBook
author	Mikhail, Rana Farid.
spellingShingle	Mikhail, Rana Farid. Automated database applications testing specification representation for automated reasoning / Series in machine perception and artificial intelligence ;
author_facet	Mikhail, Rana Farid. Berndt, Donald J. Kandel, Abraham. ProQuest (Firm) ProQuest (Firm)
author_variant	r f m rf rfm
author2	Berndt, Donald J. Kandel, Abraham. ProQuest (Firm)
author2_variant	d j b dj djb a k ak
author2_role	TeilnehmendeR TeilnehmendeR TeilnehmendeR
author_corporate	ProQuest (Firm)
author_sort	Mikhail, Rana Farid.
title	Automated database applications testing specification representation for automated reasoning /
title_sub	specification representation for automated reasoning /
title_full	Automated database applications testing [electronic resource] : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
title_fullStr	Automated database applications testing [electronic resource] : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
title_full_unstemmed	Automated database applications testing [electronic resource] : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
title_auth	Automated database applications testing specification representation for automated reasoning /
title_new	Automated database applications testing
title_sort	automated database applications testing specification representation for automated reasoning /
series	Series in machine perception and artificial intelligence ;
series2	Series in machine perception and artificial intelligence ;
publisher	World Scientific,
publishDate	2010
physical	xiv, 195 p. : ill.
callnumber-first	Q - Science
callnumber-subject	QA - Mathematics
callnumber-label	QA76
callnumber-sort	QA 276.76 T48 M55 42010
genre	Electronic books.
genre_facet	Electronic books.
url	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=731063
illustrated	Illustrated
dewey-hundreds	000 - Computer science, information & general works
dewey-tens	000 - Computer science, knowledge & systems
dewey-ones	005 - Computer programming, programs & data
dewey-full	005.1/4
dewey-sort	15.1 14
dewey-raw	005.1/4
dewey-search	005.1/4
oclc_num	670429608
work_keys_str_mv	AT mikhailranafarid automateddatabaseapplicationstestingspecificationrepresentationforautomatedreasoning AT berndtdonaldj automateddatabaseapplicationstestingspecificationrepresentationforautomatedreasoning AT kandelabraham automateddatabaseapplicationstestingspecificationrepresentationforautomatedreasoning AT proquestfirm automateddatabaseapplicationstestingspecificationrepresentationforautomatedreasoning
status_str	n
ids_txt_mv	(MiAaPQ)500731063 (Au-PeEL)EBL731063 (CaPaEBR)ebr10422652 (CaONFJC)MIL275747 (OCoLC)670429608
hierarchy_parent_title	Series in machine perception and artificial intelligence ; v. 76
hierarchy_sequence	v. 76.
is_hierarchy_title	Automated database applications testing specification representation for automated reasoning /
container_title	Series in machine perception and artificial intelligence ; v. 76
author2_original_writing_str_mv	noLinkedField noLinkedField noLinkedField
_version_	1792330716494692352

Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.

Similar Items