Software Testing for Conventional and Logic Programming / / Oliver Jack.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2011] ©1996 |
| Year of Publication: | 2011 |
| Edition: | Reprint 2011 |
| Language: | English |
| Series: | Programmierung Komplexer Systeme / Programming Complex Systems ;
10 |
| Online Access: | |
| Physical Description: | 1 online resource (230 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Other title: | 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 |
|---|---|
| Format: | Mode of access: Internet via World Wide Web. |
| ISBN: | 9783110816006 9783110637236 |
| DOI: | 10.1515/9783110816006 |
| Access: | restricted access |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Oliver Jack. |