Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
|
| Pubblicazione: | Washington, D.C., : National Academies Press, c2007 |
| Descrizione fisica: | 1 online resource (147 p.) |
| Disciplina: | 005 |
| Soggetto topico: | Computer software - Reliability |
| Software engineering | |
| Systems software - Reliability | |
| Soggetto genere / forma: | Electronic books. |
| Altri autori: |
JacksonDaniel
MillettLynette I
ThomasMartyn
|
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references (p. 110-116). |
| Titolo autorizzato: | Software for dependable systems |
| ISBN: | 1-280-94144-8 |
| 9786610941445 | |
| 0-309-66738-0 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910452084403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |