Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image 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 Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Washington, D.C. : National Academies Press, c2007Online access: Click to View Availability: No items available.

Add to cart
No cover image 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 Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Washington, D.C. : National Academies Press, c2007Online access: Click to View Availability: No items available.

Add to cart
Pages