TY - BOOK AU - Jack,Oliver ED - ProQuest (Firm) TI - Software testing for conventional and logic programming AV - QA76.76.T48 J33 1996 U1 - 005.1/4 20 PY - 1996/// CY - Berlin, New York PB - W. de Gruyter KW - Computer software KW - Testing KW - Electronic books N1 - Includes bibliographical references and index; Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries UR - https://ebookcentral.proquest.com/lib/nird-ebooks/detail.action?docID=3040672 ER -