000 | 03185nam a22007935i 4500 | ||
---|---|---|---|
001 | 9783110816006 | ||
003 | DE-B1597 | ||
005 | 20240730161800.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 220629t20111996gw fo d z eng d | ||
019 | _a(OCoLC)979586222 | ||
020 | _a9783110816006 | ||
024 | 7 |
_a10.1515/9783110816006 _2doi |
|
035 | _a(DE-B1597)41260 | ||
035 | _a(OCoLC)952748643 | ||
040 |
_aDE-B1597 _beng _cDE-B1597 _erda |
||
041 | 0 | _aeng | |
044 |
_agw _cDE |
||
050 | 4 | _aQA76.76.T48.J33 1996eb | |
072 | 7 |
_aCOM014000 _2bisacsh |
|
082 | 0 | 4 | _a005.1/4 |
084 |
_aST 230 _2rvk _0(DE-625)rvk/143617: |
||
100 | 1 |
_aJack, Oliver, _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _977917 |
|
245 | 1 | 0 |
_aSoftware Testing for Conventional and Logic Programming / _cOliver Jack. |
250 | _aReprint 2011 | ||
264 | 1 |
_aBerlin ; _aBoston : _bDe Gruyter, _c[2011] |
|
264 | 4 | _c©1996 | |
300 | _a1 online resource (230 p.) | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 0 |
_aProgrammierung Komplexer Systeme / Programming Complex Systems ; _v10 |
|
505 | 0 | 0 |
_tI-VI -- _tEditorial Notes -- _tPreface -- _tContents -- _tList of Figures -- _tSymbols and Notation -- _tChapter 1 Introduction -- _tChapter 2 Program Testing Concepts -- _tChapter 3 Logic Programming Concepts -- _tChapter 4 Program Instrumentation -- _tChapter 5 Test Coverage -- _tChapter 6 Test Input Generation -- _tChapter 7 Complexity Analysis -- _tChapter 8 Summary -- _tAppendix A The PROTest System -- _tAppendix Β Case Study -- _tBibliography -- _tIndex |
506 | 0 |
_arestricted access _uhttp://purl.org/coar/access_right/c_16ec _fonline access with authorization _2star |
|
530 | _aIssued also in print. | ||
538 | _aMode of access: Internet via World Wide Web. | ||
546 | _aIn English. | ||
588 | 0 | _aDescription based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jun 2022) | |
650 | 0 |
_aComputer software _xTesting. _95474 |
|
650 | 4 |
_aFehlererkennung. _977918 |
|
650 | 4 |
_aProgrammierung. _916353 |
|
650 | 4 |
_aProgrammtest. _977919 |
|
650 | 7 |
_aCOMPUTERS / Computer Science. _2bisacsh _977920 |
|
773 | 0 | 8 |
_iTitle is part of eBook package: _dDe Gruyter _tDGBA Physical Sciences 1990 - 1999 _z9783110637236 _oZDB-23-GPS |
776 | 0 |
_cprint _z9783110150711 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1515/9783110816006 |
856 | 4 | 0 | _uhttps://www.degruyter.com/isbn/9783110816006 |
856 | 4 | 2 |
_3Cover _uhttps://www.degruyter.com/document/cover/isbn/9783110816006/original |
912 | _aEBA_BACKALL | ||
912 | _aEBA_CL_CHCOMSGSEN | ||
912 | _aEBA_DGALL | ||
912 | _aEBA_EBACKALL | ||
912 | _aEBA_EBKALL | ||
912 | _aEBA_ECL_CHCOMSGSEN | ||
912 | _aEBA_EEBKALL | ||
912 | _aEBA_ESTMALL | ||
912 | _aEBA_SSHALL | ||
912 | _aEBA_STMALL | ||
912 | _aGBV-deGruyter-alles | ||
912 | _aPDA11SSHE | ||
912 | _aPDA12STME | ||
912 | _aPDA13ENGE | ||
912 | _aPDA18STMEE | ||
912 | _aPDA5EBK | ||
912 |
_aZDB-23-GPS _c1990 _d1999 |
||
942 | _cEBK | ||
999 |
_c84551 _d84551 |