IUKL Library

Your search returned 2 results. Subscribe to this search

Not what you expected? Check for suggestions
|
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 | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Washington, D.C. : National Academies Press, c2007Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
Log in to add tags. Add to cart
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 | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Washington, D.C. : National Academies Press, c2007Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
The Library's homepage is at http://library.iukl.edu.my/.