000 | 01353nam a2200373 a 4500 | ||
---|---|---|---|
001 | EBC3040672 | ||
003 | MiAaPQ | ||
006 | m o d | | ||
007 | cr cn||||||||| | ||
008 | 960328s1996 gw sb 001 0 eng d | ||
010 | _z 96016969 | ||
020 | _z3110150719 (cloth alk. paper) | ||
020 | _z9783110150711 | ||
020 | _z9783110816006 (e-book) | ||
035 | _a(MiAaPQ)EBC3040672 | ||
035 | _a(Au-PeEL)EBL3040672 | ||
035 | _a(CaPaEBR)ebr10588545 | ||
035 | _a(CaONFJC)MIL558788 | ||
035 | _a(OCoLC)922943621 | ||
040 |
_aMiAaPQ _cMiAaPQ _dMiAaPQ |
||
050 | 4 |
_aQA76.76.T48 _bJ33 1996 |
|
082 | 0 | 4 |
_a005.1/4 _220 |
100 | 1 | _aJack, Oliver. | |
245 | 1 | 0 |
_aSoftware testing for conventional and logic programming _h[electronic resource] / _cOliver Jack. |
260 |
_aBerlin ; _aNew York : _bW. de Gruyter, _c1996. |
||
300 | _axxi, 230 p. | ||
440 | 0 |
_aProgramming complex systems ; _v10 |
|
504 | _aIncludes bibliographical references and index. | ||
533 | _aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 |
_aComputer software _xTesting. |
|
655 | 4 | _aElectronic books. | |
710 | 2 | _aProQuest (Firm) | |
856 | 4 | 0 |
_uhttps://ebookcentral.proquest.com/lib/nird-ebooks/detail.action?docID=3040672 _zClick to View |
999 |
_c10947 _d10947 |