Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Available items only

Previous Record Next Record

E-Book/E-Doc

Corporate Author

National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.

Title 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.

Imprint

Washington, D.C. : National Academies Press, c2007.

Connect to
Available to Pittsburg State University patrons only.

Copies

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	xv, 131 p. : ill.
Bibliography	Includes bibliographical references (p. 110-116).
Reproduction	Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject	Computer software -- Reliability.
	Software engineering.
	Systems software -- Reliability.
Genre/Form	Electronic books.
Added Author	Jackson, Daniel.
	Millett, Lynette I.
	Thomas, Martyn.
	ProQuest (Firm)
ISBN	0309103940
	9780309103947