02461nam 2200637 a 450 991078563240332120230421054146.03-11-081600-810.1515/9783110816006(CKB)2670000000235223(EBL)3040672(SSID)ssj0000560216(PQKBManifestationID)11354004(PQKBTitleCode)TC0000560216(PQKBWorkID)10586704(PQKB)11043352(MiAaPQ)EBC3040672(WaSeSS)Ind00014308(DE-B1597)41260(OCoLC)952748643(OCoLC)979586222(DE-B1597)9783110816006(Au-PeEL)EBL3040672(CaPaEBR)ebr10588545(CaONFJC)MIL558788(OCoLC)922943621(EXLCZ)99267000000023522319960328d1996 uy 0engur|n|---|||||txtccrSoftware testing for conventional and logic programming[electronic resource] /Oliver JackReprint 2011Berlin ;New York W. de Gruyter19961 online resource (252 p.)Programmierung Komplexer Systeme / Programming Complex Systems ;10Programming complex systems ;10Description based upon print version of record.3-11-015071-9 Includes bibliographical references and index.I-VI -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix Β Case Study -- Bibliography -- Index Programmierung Komplexer Systeme / Programming Complex SystemsComputer softwareTestingComputer softwareTesting.005.1/4ST 230rvkJack Oliver1462182MiAaPQMiAaPQMiAaPQBOOK9910785632403321Software testing for conventional and logic programming3671038UNINA01774nam0 22003371i 450 UON0028534120231205103858.15020061212d1929 |0itac50 baitaIT|||| 1||||Italia e SpagnaArturo FarinelliTorinoFratelli Bocca Editori19292 v.21 cm.Dono Prof. Alberto Varvaro.IT-UONSI F. Varvaro24841Dono Prof. Alberto Varvaro.IT-UONSI F. Varvaro24842001UON002842082001 Letterature moderne: studi diretti da Arturo Farinelli210 TorinoFratelli Bocca Editori19-20-21ItaliaRelazioni culturaliSpagnaUONC061070FILetteratura italiana e Letteratura SpagnolaUONC061102FISPAGNARelazioni culturali con l'ItaliaUONC061069FIITTorinoUONL000014809Storia, descrizione, studio critico di più di due letterature21FARINELLIArturoUONV133488131656Fratelli Bocca EditoriUONV247353650ITSOL20251010RICAUON00285341SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI F. Varvaro2484 1 SI 31294 7 Dono Prof. Alberto Varvaro.SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI F. Varvaro2484 2 SI 31295 7 Dono Prof. Alberto Varvaro.SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI SPA III 0175 a-b SI SP 246 5 0175 a-b Italia e Spagna306643UNIOR