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.
Automated and algorithmic debugging : first international workshop, AADEBUG '93 : Linkoping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson (ed.)
| Automated and algorithmic debugging : first international workshop, AADEBUG '93 : Linkoping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson (ed.) |
| Autore | International workshop on automated and algorithmic debugging : <1. : ; 1993 |
| Pubbl/distr/stampa | Berlin \etc.!, : Springer, c1993 |
| Descrizione fisica | VIII, 367 p. : ill. ; 24 cm |
| Disciplina |
005.1
005.14 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN |
0387574174
3540574174 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10004111 |
International workshop on automated and algorithmic debugging : <1. : ; 1993
|
||
| Berlin \etc.!, : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka, John Paul
| Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka, John Paul |
| Autore | Dustin, Elfriede |
| Pubbl/distr/stampa | Reading (MA) [etc.], : Addison-Wesley, 1999 |
| Descrizione fisica | XXI, 575 p. ; 24 cm + 1 CD-ROM. |
| Disciplina |
005.1
005.14 |
| Altri autori (Persone) |
Rashka, Jeff
Paul, John <1968- > |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN | 0201432870 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0402381 |
|
Dustin, Elfriede
|
||
| Reading (MA) [etc.], : Addison-Wesley, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Black-box testing : techniques for functional testing of software and systems / Boris Beizer
| Black-box testing : techniques for functional testing of software and systems / Boris Beizer |
| Autore | Beizer, Boris <1934- > |
| Pubbl/distr/stampa | New York [etc.], : Wiley, c1995 |
| Descrizione fisica | XXV, 294 p. ; 23 cm |
| Disciplina |
005.1
005.14 |
| Soggetto topico |
Elaboratori elettronici - Programmi - Sviluppo
Elaboratori elettronici - Programmi - Verifica |
| ISBN | 0471120944 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0426226 |
|
Beizer, Boris <1934- >
|
||
| New York [etc.], : Wiley, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Effective methods for software testing / William E. Perry
| Effective methods for software testing / William E. Perry |
| Autore | Perry, William E. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York [etc.], : Wiley, c2000 |
| Descrizione fisica | XX, 812 p. ; 25 cm |
| Disciplina |
005.1
005.14 |
| Collana | Wiley computer publishing |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN | 047135418X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0402128 |
|
Perry, William E.
|
||
| New York [etc.], : Wiley, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Il controllo di qualità del software / Marco Maiocchi
| Il controllo di qualità del software / Marco Maiocchi |
| Autore | Maiocchi, Marco <1946- > |
| Pubbl/distr/stampa | Milano, : F.Angeli, [1988! |
| Descrizione fisica | 290 p. ; 22 cm. |
| Disciplina |
005
005.1 005.14 |
| Collana | Collana dei Quaderni di informatica |
| Soggetto topico |
Elaboratori elettronici - Programmi - Verifica
Elaboratori elettronici - Programmi - Controllo di qualità |
| ISBN | 882042794X |
| Classificazione | IT/443.9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-CFI0148800 |
|
Maiocchi, Marco <1946- >
|
||
| Milano, : F.Angeli, [1988! | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Misurare il software : quantità, qualità, standard e miglioramento di processo nell'Information & communication technology / Luigi Buglione
| Misurare il software : quantità, qualità, standard e miglioramento di processo nell'Information & communication technology / Luigi Buglione |
| Autore | Buglione, Luigi |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Milano, : F. Angeli, °2003] |
| Descrizione fisica | 367 p. ; 23 cm. |
| Disciplina |
005.1
005.14 |
| Collana | Informatica & organizzazioni |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN | 8846446348 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-BVE0320030 |
|
Buglione, Luigi
|
||
| Milano, : F. Angeli, °2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet
| Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 393 p. ; 25 cm. |
| Disciplina |
004.01
004.0151 |
| Soggetto topico |
Elaborazione dei dati
Elaboratori elettronici - Programmi - Verifica |
| ISBN | 9781848210134 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0537923 |
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Program verification / Nissim Francez
| Program verification / Nissim Francez |
| Autore | Francez, Nissim |
| Pubbl/distr/stampa | Wokingham [etc.], : Addison-Wesley, 1992 |
| Descrizione fisica | XI, 312 p. ; 24 cm |
| Disciplina |
005.1
005.14 |
| Collana | International computer science series |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN | 0201416085 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0402170 |
|
Francez, Nissim
|
||
| Wokingham [etc.], : Addison-Wesley, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Refactoring : improving the design of existing code / Martin Fowler ; with contributions by Kent Beck...[et al.]
| Refactoring : improving the design of existing code / Martin Fowler ; with contributions by Kent Beck...[et al.] |
| Autore | Fowler, Martin <1963- > |
| Descrizione fisica | Boston : Addison - Wesley, 2000 - XXI, 431 p. ; 25 cm. |
| Disciplina |
005.1
005.14 |
| Collana | The Addison-Wesley object technology series |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN | 0201485672 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-TO01186984 |
|
Fowler, Martin <1963- >
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Software metrics : a rigorous and practical approach / Norman E. Fenton, Shari Lawrence Pfleeger
| Software metrics : a rigorous and practical approach / Norman E. Fenton, Shari Lawrence Pfleeger |
| Autore | Fenton, Norman E. <1956- > |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Boston [etc.], : PWS publishing company, : ITP, c1997 |
| Descrizione fisica | XII, 638 p. ; 23 cm. |
| Disciplina |
005.1
005.14 |
| Altri autori (Persone) | Pfleeger, Shari Lawrence |
| Soggetto topico |
Elaboratori elettronici - Programmi - Verifica
Elaboratori elettronici - Programmi - Controllo di qualità |
| ISBN | 0534954251 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UFI0333210 |
|
Fenton, Norman E. <1956- >
|
||
| Boston [etc.], : PWS publishing company, : ITP, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
