Software Testing for Conventional and Logic Programming

Software Testing for Conventional and Logic Programming


109,95 €
inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

von Oliver Jack

Beschreibung

Frontmatter -- 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


Tags: Informatik, EDV, Informatik


Hardcover - 9783110150711
Auflage: Reprint 2011
Verlag: De Gruyter
Ersterscheinung: Oktober 1996
ISBN-13: 9783110150711
Größe: 230 mm x 155 mm x 19 mm
Gewicht: 532 Gramm
252 Seiten
Versandfertig in 3-5 Tagen.