Results
|
|
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. by National Research Council (U.S.). Committee on Certifiably Dependable Software Systems | Jackson, Daniel | Millett, Lynette I | Thomas, Martyn | ProQuest (Firm). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Washington, D.C. : National Academies Press, c2007Online access: Click to View Availability: No items available.
|
|
|
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. by National Research Council (U.S.). Committee on Certifiably Dependable Software Systems | Jackson, Daniel | Millett, Lynette I | Thomas, Martyn | ProQuest (Firm). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Washington, D.C. : National Academies Press, c2007Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|