Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack
| Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack |
| Autore | Jack Oliver |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : W. de Gruyter, 1996 |
| Descrizione fisica | 1 online resource (252 p.) |
| Disciplina | 005.1/4 |
| Collana |
Programmierung Komplexer Systeme / Programming Complex Systems
Programming complex systems |
| Soggetto topico | Computer software - Testing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-081600-8 |
| Classificazione | ST 230 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910462740803321 |
Jack Oliver
|
||
| Berlin ; ; New York, : W. de Gruyter, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack
| Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack |
| Autore | Jack Oliver |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : W. de Gruyter, 1996 |
| Descrizione fisica | 1 online resource (252 p.) |
| Disciplina | 005.1/4 |
| Collana |
Programmierung Komplexer Systeme / Programming Complex Systems
Programming complex systems |
| Soggetto topico | Computer software - Testing |
| ISBN | 3-11-081600-8 |
| Classificazione | ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910785632403321 |
|
Jack Oliver
|
||
| Berlin ; ; New York, : W. de Gruyter, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software testing for conventional and logic programming / / Oliver Jack
| Software testing for conventional and logic programming / / Oliver Jack |
| Autore | Jack Oliver |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : W. de Gruyter, 1996 |
| Descrizione fisica | 1 online resource (252 p.) |
| Disciplina | 005.1/4 |
| Collana |
Programmierung Komplexer Systeme / Programming Complex Systems
Programming complex systems |
| Soggetto topico | Computer software - Testing |
| ISBN | 3-11-081600-8 |
| Classificazione | ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910811343303321 |
|
Jack Oliver
|
||
| Berlin ; ; New York, : W. de Gruyter, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||