Vai al contenuto principale della pagina

Software testing for conventional and logic programming / / Oliver Jack



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Jack Oliver Visualizza persona
Titolo: Software testing for conventional and logic programming / / Oliver Jack Visualizza cluster
Pubblicazione: Berlin ; ; New York, : W. de Gruyter, 1996
Edizione: Reprint 2011
Descrizione fisica: 1 online resource (252 p.)
Disciplina: 005.1/4
Soggetto topico: Computer software - Testing
Classificazione: ST 230
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: 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
Sommario/riassunto: No detailed description available for "Software Testing for Conventional and Logic Programming".
Titolo autorizzato: Software testing for conventional and logic programming  Visualizza cluster
ISBN: 3-11-081600-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910811343303321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilitĂ  qui
Serie: Programmierung Komplexer Systeme / Programming Complex Systems