top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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 Programmi per elaboratori - Verifica
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 Programmi per elaboratori - Verifica
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
Opac: Controlla la disponibilità qui
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.1
005.14
Collana Collana dei Quaderni di informatica
Soggetto topico Elaboratori elettronici - Programmi - Verifica
Elaboratori elettronici - Programmi - Controllo di qualità
ISBN 882042794X
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 Programmi per elaboratori - Verifica
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 Programmi per elaboratori - Valutazione
Elaboratori elettronici - Programmi - Verifica
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
Opac: Controlla la disponibilità qui