HOME > Detail View

Detail View

Software for dependable systems : sufficient evidence?

Software for dependable systems : sufficient evidence? (Loan 1 times)

Material type
단행본
Personal Author
Jackson, Daniel. Thomas, Martyn. Millett, Lynette I.
Corporate Author
National Research Council (U.S.). Committee onCertifiably Dependable Software Systems.
Title Statement
Software for dependable systems : 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.
Publication, Distribution, etc
Washington, D.C. :   National Academies Press ,   c2007.  
Physical Medium
xv, 131 p. : ill. ; 23 cm.
ISBN
0309103940 9780309103947
Bibliography, Etc. Note
Includes bibliographical references (p. 110-116).
Subject Added Entry-Topical Term
Computer software -- Reliability. Systems software -- Reliability. Software engineering.
000 01308camuu2200289 a 4500
001 000045414047
005 20080110150201
008 080110s2007 dcua b 000 0 eng d
020 ▼a 0309103940
020 ▼a 9780309103947
040 ▼a YDXCP ▼c YDXCP ▼d BTCTA ▼d BAKER ▼d AZS ▼d IXA ▼d COF ▼d 211009
050 4 ▼a QA76.76.R44 ▼b N35 2007
082 0 4 ▼a 005.3 ▼2 22
090 ▼a 005.3 ▼b N277s
110 2 ▼a National Research Council (U.S.). ▼b Committee onCertifiably Dependable Software Systems.
245 1 0 ▼a Software for dependable systems : ▼b sufficient evidence? / ▼c 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.
260 ▼a Washington, D.C. : ▼b National Academies Press , ▼c c2007.
300 ▼a xv, 131 p. : ▼b ill. ; ▼c 23 cm.
504 ▼a Includes bibliographical references (p. 110-116).
650 0 ▼a Computer software ▼x Reliability.
650 0 ▼a Systems software ▼x Reliability.
650 0 ▼a Software engineering.
700 1 ▼a Jackson, Daniel.
700 1 ▼a Thomas, Martyn.
700 1 ▼a Millett, Lynette I.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.3 N277s Accession No. 121163801 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields

クジラ飛行机 (2022)