2 options
Software testing for conventional and logic programming / Oliver Jack.
- Format:
- Book
- Author/Creator:
- Jack, Oliver.
- Series:
- Programmierung Komplexer Systeme / Programming Complex Systems
- Programming complex systems ; 10
- Programmierung Komplexer Systeme / Programming Complex Systems ; 10
- Language:
- English
- Subjects (All):
- Computer software--Testing.
- Computer software.
- Physical Description:
- 1 online resource (252 p.)
- Edition:
- Reprint 2011
- Place of Publication:
- Berlin ; New York : W. de Gruyter, 1996.
- Language Note:
- English
- Summary:
- No detailed description available for "Software Testing for Conventional and Logic Programming".
- Contents:
- 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
- Notes:
- Description based upon print version of record.
- Includes bibliographical references and index.
- ISBN:
- 9783110816006
- 3110816008
- OCLC:
- 952748643
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.