Library Catalog
Amazon cover image
Image from Amazon.com

Software Testing for Conventional and Logic Programming / Oliver Jack.

By: Material type: TextTextSeries: Programmierung Komplexer Systeme / Programming Complex Systems ; 10Publisher: Berlin ; Boston : De Gruyter, [2011]Copyright date: ©1996Edition: Reprint 2011Description: 1 online resource (230 p.)Content type:
Media type:
Carrier type:
ISBN:
  • 9783110150711
  • 9783110816006
Subject(s): DDC classification:
  • 005.1/4
LOC classification:
  • QA76.76.T48.J33 1996eb
Other classification:
  • online - DeGruyter
Online resources: Available additional physical forms:
  • Issued also in print.
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
Holdings
Item type Current library Call number URL Status Notes Barcode
eBook eBook Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Nuvola online online - DeGruyter (Browse shelf(Opens below)) Online access Not for loan (Accesso limitato) Accesso per gli utenti autorizzati / Access for authorized users (dgr)9783110816006

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

restricted access online access with authorization star

http://purl.org/coar/access_right/c_16ec

Issued also in print.

Mode of access: Internet via World Wide Web.

In English.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jun 2022)