Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Jack Oliver
|
| Titolo: |
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack
|
| 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 |
| Titolo autorizzato: | Software testing for conventional and logic programming |
| ISBN: | 3-11-081600-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910785632403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilitĂ qui |
Serie:
Programmierung Komplexer Systeme / Programming Complex Systems