Jack, Oliver,  <br/><br/>
Software Testing for Conventional and Logic Programming / 
Oliver Jack. 
 - Reprint 2011 
 - 1 online resource (230 p.) 
 - Programmierung Komplexer Systeme / Programming Complex Systems ;  10 .
<br/><br/> 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 
<br/><br/> restricted access  http://purl.org/coar/access_right/c_16ec 
<br/><br/>
<br/><br/><br/>Mode of access: Internet via World Wide Web. 
<br/><br/><br/>In English. 
<br/><br/><label>ISBN: </label>9783110816006 
<br/><br/><label>Standard No.: </label>10.1515/9783110816006  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Testing.<br/>Fehlererkennung.<br/>Programmierung.<br/>Programmtest.<br/>COMPUTERS / Computer Science.
<br/><br/><label>LC Class. No.: </label>QA76.76.T48.J33 1996eb 
<br/><br/><label>Dewey Class. No.: </label>005.1/4