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.
[The] Software measurement guidebook
| [The] Software measurement guidebook |
| Pubbl/distr/stampa | London [etc.] : International Thompson Computer Press, copyr. 1995 |
| Disciplina | 005.30287 |
| Soggetto non controllato | software - verifica |
| ISBN | 1-850-32195-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000172810203316 |
| London [etc.] : International Thompson Computer Press, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Il controllo di qualità del software / Marco Maiocchi
| Il controllo di qualità del software / Marco Maiocchi |
| Autore | Maiocchi, Marco |
| Pubbl/distr/stampa | Milano : Franco Angeli, copyr. 1988 |
| Descrizione fisica | 290 p. ; 22 cm |
| Soggetto non controllato | software - verifica |
| ISBN | 88-204-2794-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000144860203316 |
Maiocchi, Marco
|
||
| Milano : Franco Angeli, copyr. 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Muller-Olm
| Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Muller-Olm |
| Autore | Muller-Olm, Markus |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XII, 250 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
linguaggi di programmazione
software - progettazione software - verifica |
| ISBN | 3-540-63406-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205780203316 |
|
Muller-Olm, Markus
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Partial-order methods for the verification of concurrent systems : an approach to the state-explosionproblem / Patrice Godefroid
| Partial-order methods for the verification of concurrent systems : an approach to the state-explosionproblem / Patrice Godefroid |
| Autore | Godefroid, Patrice |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | 142 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
programmazione (informatica)
software - verifica |
| ISBN | 3-540-60761-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206830203316 |
|
Godefroid, Patrice
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Program verification / Nissim Francez
| Program verification / Nissim Francez |
| Autore | Francez, Nissim |
| Pubbl/distr/stampa | Wokingham [etc.] : Addison-Wesley copyr. 1992 |
| Descrizione fisica | XI, 312 p. : ill. ; 24 cm |
| Disciplina | 00514 |
| Collana | International computer science series |
| Soggetto non controllato | software - verifica |
| ISBN | 0-201-41608-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000197920203316 |
|
Francez, Nissim
|
||
| Wokingham [etc.] : Addison-Wesley copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Safer C : developping software for high-integrity and safety-critical systems / Les Hatton
| Safer C : developping software for high-integrity and safety-critical systems / Les Hatton |
| Autore | Hatton, Les |
| Pubbl/distr/stampa | London [etc.] : McGraw-Hill International, copyr. 1995 |
| Descrizione fisica | XII, 228 p. : ill. ; 25 cm |
| Disciplina | 005133 |
| Soggetto non controllato |
linguaggio c
sicurezza dei dati software - sviluppo software - verifica |
| ISBN | 0-07-707640-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000266770203316 |
|
Hatton, Les
|
||
| London [etc.] : McGraw-Hill International, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software testing and evaluation / Richard A. DeMillo...[et al.]
| Software testing and evaluation / Richard A. DeMillo...[et al.] |
| Pubbl/distr/stampa | Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 |
| Descrizione fisica | XIII, 537 p. : tab. ; 24 cm |
| Disciplina | 00514 |
| Soggetto non controllato |
software - valutazione
software - verifica |
| ISBN | 0-8053-2535-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000172890203316 |
| Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software testing and evaluation / Richard A. DeMillo...[et al.]
| Software testing and evaluation / Richard A. DeMillo...[et al.] |
| Pubbl/distr/stampa | Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 |
| Descrizione fisica | XIII, 537 p. : tab. ; 24 cm |
| Disciplina | 00514 |
| Soggetto non controllato |
software - valutazione
software - verifica |
| ISBN | 0-8053-2535-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000267430203316 |
| Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||