02495nam 2200649 a 450 991046274080332120200520144314.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 softwareTestingElectronic books.Computer softwareTesting.005.1/4ST 230rvkJack Oliver1031492MiAaPQMiAaPQMiAaPQBOOK9910462740803321Software testing for conventional and logic programming2448909UNINA