LEADER 02495nam  2200649 a 450 
001 9910462740803321
005 20200520144314.0
010   $a3-11-081600-8
024 7 $a10.1515/9783110816006
035   $a(CKB)2670000000235223
035   $a(EBL)3040672
035   $a(SSID)ssj0000560216
035   $a(PQKBManifestationID)11354004
035   $a(PQKBTitleCode)TC0000560216
035   $a(PQKBWorkID)10586704
035   $a(PQKB)11043352
035   $a(MiAaPQ)EBC3040672
035   $a(WaSeSS)Ind00014308
035   $a(DE-B1597)41260
035   $a(OCoLC)952748643
035   $a(OCoLC)979586222
035   $a(DE-B1597)9783110816006
035   $a(Au-PeEL)EBL3040672
035   $a(CaPaEBR)ebr10588545
035   $a(CaONFJC)MIL558788
035   $a(OCoLC)922943621
035   $a(EXLCZ)992670000000235223
100   $a19960328d1996      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware testing for conventional and logic programming$b[electronic resource] /$fOliver Jack
205   $aReprint 2011
210   $aBerlin ;$aNew York $cW. de Gruyter$d1996
215   $a1 online resource (252 p.)
225 0 $aProgrammierung Komplexer Systeme / Programming Complex Systems ;$v10
225  0$aProgramming complex systems ;$v10
300   $aDescription based upon print version of record.
311   $a3-11-015071-9 
320   $aIncludes bibliographical references and index.
327   $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 
410  0$aProgrammierung Komplexer Systeme / Programming Complex Systems
606   $aComputer software$xTesting
608   $aElectronic books.
615  0$aComputer software$xTesting.
676   $a005.1/4
686   $aST 230$2rvk
700   $aJack$b Oliver$01031492
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910462740803321
996   $aSoftware testing for conventional and logic programming$92448909
997   $aUNINA